C. Zhang, W. Ruan, and P. Xu, “Reachability Analysis of Neural Network Control Systems”, AAAI, vol. 37, no. 12, pp. 15287-15295, Jun. 2023.