Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
Shiqi Sun,Yan Zhang,Xusheng Luo,Panagiotis Vlantis,Miroslav Pajic,Michael M. Zavlanos,Shiqi Sun,Yan Zhang,Xusheng Luo,Panagiotis Vlantis,Miroslav Pajic,Michael M. Zavlanos
In this work, we address the problem of formal safety verification for stochastic cyber-physical systems (CPS) equipped with ReLU neural network (NN) controllers. Our goal is to find the set of initial states from where, with a predetermined confidence, the system will not reach an unsafe configuration within a specified time horizon. Specifically, we consider discrete-time LTI systems with Gaussi...
