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.
Dung Phan
First name
Dung
Last name
Phan
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