Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is V and Author is Scott A. Smolka  [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)