Niklas Metzger
Scholar

Niklas Metzger

Google Scholar ID: JyG4luQAAAAJ
CISPA Helmholtz Center for Information Security
Formal MethodsSynthesisDistributed SystemsVerification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
206
 
H-index
8
 
i10-index
8
 
Publications
18
 
Co-authors
0
 
Contact
No contact links provided.
Publications
5 items
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
2026
Cited
0
Knowledge Compilation for Quantification in Alternating Automata
2026
Cited
0
Universal Safety Controllers with Learned Prophecies
2025
Cited
0
Synthesis of Universal Safety Controllers
2025
Cited
0
Synthesis of Temporal Causality
International Conference on Computer Aided Verification · 2024
Cited
1
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)