| 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 | 160 | 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 | 31 | 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 | 13 | 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 | 5 | 2023 |
| 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 | 1 | 2022 |
| Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic Z An, H Baier, A Dubey, A Mukhopadhyay, M Ma arXiv preprint arXiv:2407.10820, 2024 | | 2024 |
| 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 | | 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 |
Yiming LiNew York University在 nyu.edu 的电子邮件经过验证
