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)
Unsupervised Wafermap Patterns Clustering via Variational Autoencoders,
Tulala, Peter, Mahyar Hamidreza, Ghalebi Elahe, and Grosu Radu
, 2018 International Joint Conference on Neural Networks (IJCNN), 07/2018, Rio, Brasil, (2018)
(2.14 MB) Towards Model Checking of Implantable Cardioverter Defibrillators,
Abbas, Houssam, Jiang Kuk Jin, Jiang Zhihao, and Mangharam Rahul
, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2016)
(1.87 MB) Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level,
Huang, Samuel, Diep Madeline, Jang Kuk, Cherry Elizabeth M., Fenton Flavio H., Cleaveland Rance, Lindvall Mikael, Mangharam Rahul, and Porter Adam
, CSBio'20: Proceedings of the Eleventh International Conference on Computational Systems-Biology and Bioinformatics, (2020)
Temporal-logic query checking over finite data streams,
Huang, Samuel, and Cleaveland Rance
, International Conference on Formal Methods for Industrial Critical Systems, (2020)
SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems,
Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin
, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)
(679.39 KB) Safe CPS from Unsafe Controllers,
Mehmood, U., Bak S., Smolka S. A., and Stoller S. D.
, Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)
] 