Shaoru Chen, Victor M. Preciado, Mahyar Fazlyab. One-Shot Reachability Analysis of Neural Network Dynamical Systems. In IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023. pages 10546-10552, IEEE, 2023. [doi]
Abstract is missing.