Publications

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