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

10. Oct 2025·
Samuel Teuber
Samuel Teuber
· 0 min read
Samuel Teuber
Authors
Samuel Teuber
PhD Student
Interested in formal methods for software and machine learning verification with a focus on cyber-physical systems and algorithmic fairness.