TU Wien Informatics

Role

  • On The Verification of Neural ODEs with Stochastic Guarantees / S. Grünbacher, R. Hasani, M. Lechner, J. Cyranka, S. Smolka, R. Grosu / Talk: 35th AAAI Conference on Artificial Intelligence (AAAI-21), Online; 2021-02-02 - 2021-02-09; in: "Proceedings of the AAAI Conference on Artificial Intelligence", Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 35 No. 13: AAAI-21 Technical Tracks 13 (2021), 11525 - 11535
  • Lagrangian Reachtubes: The Next Generation / S. Grünbacher, J. Cyranka, M. Lechner, A. Islam, S. Smolka, R. Grosu / Talk: 59th IEEE Conference on Decision and Control (CDC), Jeju, Korea (South); 2020-12-14 - 2020-12-18; in: "Proceedings of the 59th IEEE Conference on Decision and Control (CDC)", IEEE (ed.); IEEE, (2020), ISSN: 2576-2370; 1556 - 1563