Transfer of Safety Guarantees from Differential Dynamic Logic Proofs to Neural Network-based Controller Systems

1. Jan 2022·
Samuel Teuber
Samuel Teuber
· 0 min read
Type
Formal Methods
Samuel Teuber
Authors
Samuel Teuber
PhD Candidate
Researching formal verification of AI-based heterogeneous systems, with applications in neural network control and algorithmic fairness.