Gruenbacher, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, and Radu Grosu. 2022. “GoTube: Scalable Statistical Verification of Continuous-Depth Models”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (6):6755-64. https://doi.org/10.1609/aaai.v36i6.20631.