Shiqi Sun

Formal Verification of Stochastic Systems with ReLU Neural Network Controllers

2021 · arXiv (Cornell University)

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, …