Gruenbacher, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, and Radu Grosu. “GoTube: Scalable Statistical Verification of Continuous-Depth Models”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 6 (June 28, 2022): 6755-6764. Accessed April 24, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/20631.