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), pp. 11525-11535. doi: 10.1609/aaai.v35i13.17372.