@conference {, title = {Verification of Neural ODEs with Stochastic Guarantees}, booktitle = {Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence}, year = {2021}, month = {02/2021}, author = {S. Gruenbacher and J. Cyranka and M. Lechner and S. A. Smolka and R. Grosu} }