C. Schilling, M. Forets, and S. Guadalupe, “Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes”, AAAI, vol. 36, no. 7, pp. 8169-8177, Jun. 2022.