Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is M. Lechner  [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)
2020
Next-Generation Lagrangian Reachtubes, Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R. , Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)