Grunbacher, S., R. Hasani, M. Lechner, J. Cyranka, S. A. Smolka, and R. Grosu. “On the Verification of Neural ODEs With Stochastic Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, May 2021, pp. 11525-3, doi:10.1609/aaai.v35i13.17372.