Radu Grosu

Hasani, R., Lechner, M., Amini, A., Rus, D., & Grosu, R. (2020). Liquid Time-constant Networks.

Gruenbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2020). On The Verification of Neural ODEs with Stochastic Guarantees.

Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Grosu, R., & Belta, C. (2015). SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/2728606.2728633

Tulala, P., Mahyar, H., Ghalebi, E., & Grosu, R. (2018). Unsupervised Wafermap Patterns Clustering via Variational Autoencoders. 2018 International Joint Conference on Neural Networks (IJCNN). Presented at the. Rio, Brasil: IEEE. (Original work published 2018)

Schmittle, M., Lukina, A., Vacek, L., Das, J., Buskirk, C. P., Rees, S., … Kumar, V. (2018). OpenUAV: A UAV Testbed for the CPS and Robotics Community. Proceedings of the 9th ACM IEEE International Conference on Cyber-Physical Systems. Presented at the. Piscataway, NJ, USA: IEEE Press. https://doi.org/10.1109/ICCPS.2018.00021

Jaksic, S., Bartocci, E., Grosu, R., & Nickovic, D. (2018). An Algebraic Framework for Runtime Verification. CoRR, abs/1802.03775. Retrieved from http://arxiv.org/abs/1802.03775

K., E. G., Mirzasoleiman, B., Grosu, R., & Leskovec, J. (2018). Dynamic Network Model from Partial Observations. CoRR, abs/1805.10616. Retrieved from http://arxiv.org/abs/1805.10616

Mehmood, U., Paoletti, N., Phan, D., Grosu, R., Lin, S., Stoller, S. D., … Smolka, S. A. (2018). Declarative vs Rule-based Control for Flocking Dynamics. Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/3167132.3167222

Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A., & Stoller, S. D. (2018). Neural State Classification for Hybrid Systems. Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Presented at the. Springer-Verlag.

Islam, M. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2018). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science. https://doi.org/https://doi.org/10.1016/j.tcs.2018.02.005 (Original work published 2018)