Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S.A. and Grosu, R. 2021. On the Verification of Neural ODEs with Stochastic Guarantees. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 13 (May 2021), 11525-11535. DOI:https://doi.org/10.1609/aaai.v35i13.17372.