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.
Roy, S., Mehmood, U., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2020). Neural Flocking: MPC-based Supervised Learning of Flocking Controllers.
