Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, and Radu Grosu. “On the Verification of Neural ODEs With Stochastic Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 13 (May 18, 2021): 11525-11535. Accessed April 18, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/17372.