TY - STAND
AU - Sophie Gruenbacher
AU - Ramin Hasani
AU - Mathias Lechner
AU - Jacek Cyranka
AU - Scott Smolka
AU - Radu Grosu
LA - eng
PY - 2020
TI - On The Verification of Neural ODEs with Stochastic Guarantees
ER -