Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers
Michael Everett Golnaz Habibi Jonathan P. How Michael Everett Golnaz Habibi Jonathan P. How
Neural Networks (NNs) can provide major empirical performance improvements for robotic systems, but they also introduce challenges in formally analyzing those systems’ safety properties. In particular, this work focuses on estimating the forward reachable set of closed-loop systems with NN controllers. Recent work provides bounds on these reachable sets, yet the computationally efficient approache...