Scholar

Samuel Teuber

Google Scholar ID: 0dq6DCQAAAAJ

PhD Student @ Karlsruhe Institute of Technology

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

62

H-index

4

i10-index

3

Publications

16

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)