Dr. Niklas Metzger

While being a member of this group or in collaboration with us.

• Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
  Frederik Schmitt, Matthias Cosler, Niklas Metzger, Julian Siber, Vladimir Krsmanovic, Mohamed Ghanem and Bernd Finkbeiner · arXiv preprint
• Universal Safety Controllers with Learned Prophecies
  Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak and Anne-Kathrin Schmuck · AAAI 2026
• Synthesis of Universal Safety Controllers
  Bernd Finkbeiner, Niklas Metzger and Satya Prakash Nayak · TACAS 2025
• Information Flow Guided Synthesis with Unbounded Communication
  Bernd Finkbeiner, Niklas Metzger and Yoram Moses · CAV 2024
• Synthesis of Temporal Causality
  Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger and Julian Siber · CAV 2024
• Monitoring Second-Order Hyperproperties
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger · AAMAS 2024
• Second-Order Hyperproperties
  Raven Beutner, Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger · CAV 2023
• Temporal Causality in Reactive Systems
  Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber · ATVA 2022
• Formal Specifications from Natural Language
  Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber and Bernd Finkbeiner · arXiv preprint
• Explaining Hyperproperty Violations
  Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber · CAV 2022
• Information Flow Guided Synthesis
  Bernd Finkbeiner, Niklas Metzger and Yoram Moses · CAV 2022
• Live synthesis
  Bernd Finkbeiner, Felix Klein and Niklas Metzger · ISSE 2022
• Visual Analysis of Hyperproperties for Understanding Model Checking Results
  Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner and Raimund Dachselt · VIS 2021
• Live Synthesis
  Bernd Finkbeiner, Felix Klein and Niklas Metzger · ATVA 2021
• Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
  Jesko Hecking-Harbusch and Niklas Metzger · ATVA 2019

While being a member of this group or in collaboration with us.

• Bounded Synthesis of Petri Games with True Concurrency Firing Semantics
  Niklas Metzger · UdS (Bachelor Thesis)

• Complete Bounded Model Checking for Hyperproperties
  Florian Bies · Bachelor Thesis
• Evaluation of Vulnerabilities of a Lane Keeping Assist System based on Simulations
  Jonas Birtel · Bachelor Thesis
• Predicting Timed Traces with Neural Networks
  Ayham Omar · Bachelor Thesis
• Model Checking of HyperLTL on Finite Traces
  Ivo Bakowsky · Bachelor Thesis

• Neural-Symbolic Computing

  Advisor·Reactive Systems Group · Summer 2022
• Software Reliability

  Advisor·Reactive Systems Group · Summer 2021