S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S. A. Smolka, and R. Grosu, “On the Verification of Neural ODEs with Stochastic Guarantees”, AAAI, vol. 35, no. 13, pp. 11525-11535, May 2021.