Grunbacher, S.; Hasani, R.; Lechner, M.; Cyranka, J.; Smolka, S. A.; Grosu, R. On the Verification of Neural ODEs With Stochastic Guarantees. AAAI 2021, 35, 11525-11535.