Publications

Lukas Rohwer, Samuel Teuber, Matthew L. Daggitt (2026). VNN-LIB 2.0 in Practice: Benchmarks for More Complex Neural Network Verification Tasks (Competition Contribution). In SAIV 2026.
Cite DOI
Matthew L. Daggitt, Ekaterina Komendantskaya, Alistair Sirman, Alessandro Bruni, Samuel Teuber, Josh Smart, Grant Passmore (2026). Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice. In ICFP 2026.
PDF Cite Project
Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert (2026). Heterogeneous Dynamic Logic: Provability Modulo Program Theories. In PLDI 2026.
PDF Cite Isabelle Formalization
Samuel Teuber, Debasmita Lohar, Bernhard Beckert (2025). Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. In FMCAD 2025.
PDF Cite DOI Teaching Resources
Enguerrand Prebet, Samuel Teuber, André Platzer (2025). Verification of Autonomous Neural Car Control with KeYmaera X. In ABZ 2025.
PDF Cite Code DOI Teaching Resources
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert (2025). Revisiting Differential Verification: Equivalence Verification with Confidence. In TACAS 2025.
PDF Cite DOI
Samuel Teuber, Bernhard Beckert (2024). Next Steps in LLM-Supported Java Verification. In NSE 2025.
PDF Cite DOI
Samuel Teuber, Stefan Mitsch, André Platzer (2024). Provably Safe Neural Network Controllers via Differential Dynamic Logic. In NeurIPS 2024.
PDF Cite Code Slides Teaching Resources
Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber (2024). Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. In ISOLA 2024.
PDF Cite DOI
Samuel Teuber, Bernhard Beckert (2024). An Information-Flow Perspective on Algorithmic Fairness. In AAAI 2024.
PDF Cite Code Poster DOI Corrigendum