2 papers
eess.SY2021
Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe
Panagiotis Vlantis, Leila J. Bridgeman, Michael M. Zavlanos
In this work, we consider the problem of learning a feed-forward neural network controller to safely steer an arbitrarily shaped planar robot in a compact and obstacle-occluded wor…
eess.SY2021
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
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…