Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision 8. Oct 2025· Samuel Teuber · 0 min read Paper Last updated on 8. Oct 2025 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. Of Good Demons and Bad Angels: Guaranteeing Safe Neural Control under Finite Precision 6. Oct 2025 →