J. Cyranka

Gruenbacher, S., Cyranka, J., Lechner, M., Smolka, S. A., & Grosu, R. (2021). Verification of Neural ODEs with Stochastic Guarantees. Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence. Presented at the. (Original work published 2021)

Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Next-Generation Lagrangian Reachtubes. Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control. Presented at the. (Original work published 2020)