Niklas Metzger

Orcid: 0000-0003-3184-6335

Affiliations:

CISPA Helmholtz Center for Information Security, Reactive Systems Group, Saarbrücken, Germany
Saarland University, Saarbrücken, Germany

According to our database¹, Niklas Metzger authored at least 22 papers between 2019 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models.

[BibT_eX]

[DOI]

CoRR, May, 2026

Knowledge Compilation for Quantification in Alternating Automata.

[BibT_eX]

[DOI]

CoRR, May, 2026

Universal Safety Controllers with Learned Prophecies.

[BibT_eX]

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Artifact for "Universal Safety Controllers with Learned Prophecies" at AAAI 2026.

[BibT_eX]

[DOI]

Dataset, November, 2025

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025.

[BibT_eX]

[DOI]

Dataset, January, 2025

Artifact for Synthesis of Universal Safety Controllers at TACAS 2025.

[BibT_eX]

[DOI]

Dataset, January, 2025

Synthesis of Universal Safety Controllers.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Information Flow Guided Synthesis with Unbounded Communication.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

Yoram Moses

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Synthesis of Temporal Causality.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Monitoring Second-Order Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Second-Order Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2022

Formal Specifications from Natural Language.

[BibT_eX]

[DOI]

CoRR, 2022

Attention Flows for General Transformers.

[BibT_eX]

[DOI]

CoRR, 2022

Information Flow Guided Synthesis (Full Version).

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

Yoram Moses

CoRR, 2022

Information Flow Guided Synthesis.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Niklas Metzger

Yoram Moses

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Explaining Hyperproperty Violations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Conservative Hybrid Automata from Development Artifacts.

[BibT_eX]

[DOI]

Niklas Metzger

Sanny Schmitt

Maximilian Schwenger

CoRR, 2021

Live Synthesis.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Felix Klein

Niklas Metzger

Proceedings of the Automated Technology for Verification and Analysis, 2021

2019

aMAZEing Programming - Providing SKILLs to Fellow Students.

[BibT_eX]

[DOI]

Proceedings of the Studierendenkonferenz Informatik, 2019

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

Jesko Hecking-Harbusch

Niklas O. Metzger

Proceedings of the Automated Technology for Verification and Analysis, 2019

Niklas Metzger

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...