Niklas Metzger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Universal Safety Controllers with Learned Prophecies. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2026 | KR | Knowledge Compilation for Quantification in Alternating Automata. | S. Akshay, Alfredo Cantarella, Supratik Chakraborty, Bernd Finkbeiner, Niklas Metzger |
| 2025 | TACAS | Synthesis of Universal Safety Controllers. | Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | CAV | Synthesis of Temporal Causality. | Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber |
| 2024 | CAV | Information Flow Guided Synthesis with Unbounded Communication. | Bernd Finkbeiner, Niklas Metzger, Yoram Moses |
| 2023 | CAV | Second-Order Hyperproperties. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger |
| 2022 | ATVA | Temporal Causality in Reactive Systems. | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | CAV | Explaining Hyperproperty Violations. | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber |
| 2022 | CAV | Information Flow Guided Synthesis. | Bernd Finkbeiner, Niklas Metzger, Yoram Moses |
| 2021 | ATVA | Live Synthesis. | Bernd Finkbeiner, Felix Klein, Niklas Metzger |