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)
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)
Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus,
Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W.
, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Oct, (2016)
(976.61 KB)