@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}
}
@conference {,
	title = {Next-Generation Lagrangian Reachtubes},
	booktitle = {Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control},
	year = {2020},
	month = {12/2020},
	author = {S. Gruenbacher and J. Cyranka and M. Lechner and Md. A. Islam and S. A. Smolka and R. Grosu}
}
