Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers

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