Taha Entesari, Mahyar Fazlyab. Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes. In Nikolai Matni, Manfred Morari, George J. Pappas, editors, Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA. Volume 211 of Proceedings of Machine Learning Research, pages 407-419, PMLR, 2023. [doi]
Abstract is missing.