Heterogeneous Dynamic Logic 1. Aug 2024· Samuel Teuber · 0 min read Announcement Last updated on 1. Aug 2024 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. ← Provably Safe Neural Network Controllers via Differential Dynamic Logic 29. Oct 2024 Provably Safe Neural Network Controllers via Differential Dynamic Logic 22. Jul 2024 →