Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Ramin Hasani and First Letter Of Title is V  [Clear All Filters]
2020
On The Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, Sophie, Hasani Ramin, Lechner Mathias, Cyranka Jacek, Smolka Scott A., and Grosu Radu , (2020)