Provably Safe Neural Network Controllers via Differential Dynamic Logic

arXiv:2402.10998v1 Announce Type: cross
Abstract: While neural networks (NNs) have a large potential as goal-oriented 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 reason for this is the intractability of NN and hybrid system analysis. We introduce VerSAILLE (Verifiably Safe AI via Logically Linked Envelopes): The first approach for the combination of differential dynamic …

abstract arxiv challenges control control systems cs.ai cs.lg cs.lo cs.sy cyber differential dynamic logic network networks neural network neural networks nns practical reason safety systems type via