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

24. Jul 2026·
Samuel Teuber
Samuel Teuber
· 0 min read
Samuel Teuber
Authors
Samuel Teuber
PhD Candidate
Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness.