Publications
Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert (2025). Heterogeneous Dynamic Logic: Provability Modulo Program Theories.
PDF Cite
Enguerrand Prebet, Samuel Teuber, André Platzer (2025). Verification of Autonomous Neural Car Control with KeYmaera X. In ABZ 2025.
PDF Code Teaching Resources
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert (2024). 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
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
See all publications
Study Projects

Projects from Bachelor’s and Master’s (2015-2022).

Solving difficult SMT instances using abstractions and incremental SMT solving
Efficient unpacking of required software from CVMFS
Studyplan