Research | Samuel Teuber

Publications

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.

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

Study Projects

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