Gruenbacher, S. A.; Lechner, M.; Hasani, R.; Rus, D.; Henzinger, T. A.; Smolka, S. A.; Grosu, R. GoTube: Scalable Statistical Verification of Continuous-Depth Models. AAAI 2022, 36, 6755-6764.