Zhang, C.; Ruan, W.; Xu, P. Reachability Analysis of Neural Network Control Systems. AAAI 2023, 37, 15287-15295.