https://openreview.net/forum?id=SiALFXa0NN
Provably Safe Neural Network Controllers via Differential Dynamic Logic | OpenReview
While neural networks (NNs) have a large potential as autonomous controllers for Cyber-Physical Systems, verifying the safety of neural network based control...
differential dynamic logicneural networksafecontrollersvia