Scholar
Samuel Teuber
Google Scholar ID: 0dq6DCQAAAAJ
PhD Student @ Karlsruhe Institute of Technology
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
62
H-index
4
i10-index
3
Publications
16
Co-authors
0
Publications
9 items
Differential Zonotopes for Verifying Global Robustness of DNNs
2026
Cited
0
Encrypted Neural Networks without Overflows
2026
Cited
0
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
2026
Cited
0
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
2025
Cited
0
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
2025
Cited
0
Verification of Autonomous Neural Car Control with KeYmaera X
2025
Cited
0
Next Steps in LLM-Supported Java Verification
2025
Cited
0
Revisiting Differential Verification: Equivalence Verification with Confidence
arXiv.org · 2024
Cited
0
Load more
