Michael Everett, Golnaz Habibi, Jonathan P. How. Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers. In IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021. pages 4384-4390, IEEE, 2021. [doi]
Abstract is missing.