← Search

Samuel Teuber

2 accepted papers

2024

Provably Safe Neural Network Controllers via Differential Dynamic Logic

NeurIPS 2024poster

While neural networks (NNs) have a large potential as autonomous controllers for Cyber-Physical Systems, verifying the safety of neural network based control systems (NNCSs) poses significant challenges for the practical use of NNs— especially when safety is needed for unbounded time horizons. One r…