Radu Grosu

Lechner, M., Hasani, R., Grosu, R., Rus, D., & Henzinger, T. A. (2021). Adversarial Training is Not Ready for Robot Learning.

Bartocci, E., Cleaveland, R., Grosu, R., & Sokolsky, O. (2019). From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday.

Islam, M. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2019). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765, 158–169.

Islam, M. A., Lim, H., Paoletti, N., Abbas, H., Jiang, Z., … Cyranka, J. (2016). Cybercardia project: Modeling, verification and validation of implantable cardiac devices. 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). Presented at the. IEEE.

Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2020). Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme. 2020 IEEE International Conference on Robotics and Automation (ICRA). Presented at the. https://doi.org/10.1109/ICRA40945.2020.9196608

Roy, S., Mehmood, U., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2020). Neural Flocking: MPC-based Supervised Learning of Flocking Controllers.

Phan, D. T., Grosu, R., Jansen, N., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2020). Neural Simplex Architecture.

Roy, S., Mehmood, U., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2020). Learning Distributed Controllers for V-Formation.

Hasani, R., Lechner, M., Amini, A., Rus, D., Grosu, R., Daumé, H. , III, & Singh, A. (2020). A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits. Proceedings of the 37th International Conference on Machine Learning. Presented at the. PMLR. Retrieved from http://proceedings.mlr.press/v119/hasani20a.html (Original work published)

Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian Reachtubes: The Next Generation.