| V2X-Sim: Multi-agent collaborative perception dataset and benchmark for autonomous driving Y Li, D Ma, Z An, Z Wang, Y Zhong, S Chen, C Feng IEEE Robotics and Automation Letters 7 (4), 10914-10921, 2022 | 206 | 2022 |
| V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving Y Li, Z An, Z Wang, Y Zhong, S Chen, C Feng arXiv preprint arXiv:2202.08449, 2022 | 37 | 2022 |
| Runtime monitoring of accidents in driving recordings with multi-type logic in empirical models Z An, X Wang, T T. Johnson, J Sprinkle, M Ma International Conference on Runtime Verification, 376-388, 2023 | 21 | 2023 |
| Multi-agent reinforcement learning guided by signal temporal logic specifications J Wang, S Yang, Z An, S Han, Z Zhang, R Mangharam, M Ma, F Miao arXiv preprint arXiv:2306.06808, 2023 | 9 | 2023 |
| Formal Logic Enabled Personalized Federated Learning Through Property Inference Z An, TT Johnson, M Ma Proceedings of the AAAI Conference on Artificial Intelligence 38 (10), 10882 …, 2024 | 4 | 2024 |
| Fairguard: Harness Logic-based Fairness Rules in Smart Cities Y Zhao, Z An, X Gao, A Mukhopadhyay, M Ma IoTDI '23: Proceedings of the 8th ACM/IEEE Conference on Internet of Things …, 2023 | 3 | 2023 |
| Guiding Federated Learning with Inferenced Formal Logic Properties Z An, M Ma Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023 | 2 | 2023 |
| Evaluation of an Online Survey Instrument to Measure Users’ Privacy Perception and Decision of V2X Communication in Connected Autonomous Vehicles Z Cai, Z An, A Xiong Proceedings of the Human Factors and Ergonomics Society Annual Meeting 66 (1 …, 2022 | 2 | 2022 |
| Enabling mcts explainability for sequential planning through computation tree logic Z An, H Baier, A Dubey, A Mukhopadhyay, M Ma ECAI 2024, 4068-4075, 2024 | 1 | 2024 |
| Formal Logic-guided Robust Federated Learning against Poisoning Attacks DT Nguyen, Z An, TT Johnson, M Ma, K Leach arXiv preprint arXiv:2411.03231, 2024 | | 2024 |
| Formal Logic-guided Robust Federated Learning against Poisoning Attacks D Thuy Nguyen, Z An, TT Johnson, M Ma, K Leach arXiv e-prints, arXiv: 2411.03231, 2024 | | 2024 |
| EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability Y Zhao, Z An, M Ma, T Johnson https://arxiv.org/abs/2308.07890, 2023 | | 2023 |
| Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode X Wang, Y Yang, Y Shangguan, W Yan, Z An, M Bunting, M Nice, ... | | |
Meiyi MaAssistant Professor in Computer Science, Vanderbilt UniversityBestätigte E-Mail-Adresse bei virginia.edu
