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