Scholar
Niklas Metzger
Google Scholar ID: JyG4luQAAAAJ
CISPA Helmholtz Center for Information Security
Formal Methods
Synthesis
Distributed Systems
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
206
H-index
8
i10-index
8
Publications
18
Co-authors
0
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
