@booklet {,
	title = {On The Verification of Neural ODEs with Stochastic Guarantees},
	year = {2020},
	author = {Sophie Gruenbacher and Ramin Hasani and Mathias Lechner and Jacek Cyranka and Scott A. Smolka and Radu Grosu}
}
