Zhang, C., Ruan, W., & Xu, P. (2023). Reachability Analysis of Neural Network Control Systems. Proceedings of the AAAI Conference on Artificial Intelligence, 37(12), 15287-15295. https://doi.org/10.1609/aaai.v37i12.26783