Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is V  [Clear All Filters]
2021
Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R. , Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence, 02/2021, (2021)