Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

8. Oct 2025·

Samuel Teuber

Samuel Teuber

· 0 min read

Paper

Last updated on 8. Oct 2025

Samuel Teuber

Authors

PhD Candidate

Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness.

← Of Good Demons and Bad Angels: Guaranteeing Safe Neural Control under Finite Precision 20. Oct 2025

Of Good Demons and Bad Angels: Guaranteeing Safe Neural Control under Finite Precision 6. Oct 2025 →