Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems

Yuhao Zhou, Stavros Tripakis

The integration of neural networks into safety-critical systems has shown great potential in recent years. However, the challenge of effectively verifying the safety of Neural Netw…