1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Shiqi Sun, Yan Zhang, Xusheng Luo +3
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 fi…