| 2025 | IJCAI | LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration. | Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma |
| 2025 | IROS | Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. | Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao |
| 2025 | RV | ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. | Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma |
| 2024 | AAAI | Formal Logic Enabled Personalized Federated Learning through Property Inference. | Ziyan An, Taylor T. Johnson, Meiyi Ma |
| 2024 | ECAI | Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. | Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma |
| 2023 | RV | Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. | Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma |