Publications

Export 14 results:
Author Title [ Type(Desc)] Year
Filters: Author is Radu Grosu  [Clear All Filters]
Conference Paper
Lagrangian Reachabililty, Cyranka, Jacek, Islam Md. Ariful, Byrne Greg, Jones Paul L., Smolka Scott A., and Grosu Radu , Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (2017)
Neural State Classification for Hybrid Systems, Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D. , Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)  (528.72 KB)
Quantitative Regular Expressions for Arrhythmia Detection Algorithms, Abbas, Houssam, Rodionova Alena, Bartocci Ezio, Smolka Scott A., and Grosu Radu , International Conference on Computational Methods in Systems Biology, 09/2017, Darmstadt, Germany , (2017)  (1.06 MB)
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)