Publications

Publications by year; for project details, see Projects.

2026

  1. LogiEx: Integrating Formal Logic and LLMs for Explainable Transit Planning
    Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T Johnson, Jonathan Sprinkle, and Meiyi Ma
    In Proceedings of the 17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2026
  2. Drive Like Humans, Plan Like Machines: An Explicit Sense and Safety Aware Autonomous Driving Framework
    Xia Wang, Ziyan An, Yuhang Zhang, Meiyi Ma, Daniel B Work, and Jonathan Sprinkle
    In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2026
  3. Formal Logic-Guided Robust Federated Learning against Poisoning Attacks
    Dung Thuy Nguyen, Ziyan An, Taylor T Johnson, Meiyi Ma, and Kevin Leach
    In Proceedings of the 17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) 2026
  4. X-CPS: A Top-Down Hierarchical Framework for Explaining Learning-enabled Cyber-Physical Systems
    Guocheng He, Lingwen Deng, Ziyan An, and Meiyi Ma
    In The 3rd International Workshop on Foundation Models for Cyber-Physical Systems & Internet of Things (FMSys’26), CPS-IoT Week 2026
  5. Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities
    Yimo Yan, Yejia Liao, Guanhao Xu, Ruili Yao, Huiying Fan, Jingran Sun, Xia Wang, Jonathan Sprinkle, Ziyan An, Meiyi Ma, Xi Cheng, Tong Liu, Zemian Ke, Bo Zou, Matthew Barth, and Yong-Hong Kuo
    Information Fusion 2026

2025

  1. Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
    Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, and Fei Miao
    In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2025
  2. Combining LLMs with Logic-Based Framework to Explain MCTS
    Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, and Meiyi Ma
    In The 24th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) 2025
  3. LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration
    Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, and Meiyi Ma
    In International Joint Conference on Artificial Intelligence (IJCAI) 2025
  4. Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities
    Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, and Meiyi Ma
    ACM Transactions on Cyber-Physical Systems 2025
  5. ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis
    Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T Johnson, and Meiyi Ma
    In International Conference on Runtime Verification 2025
  6. A Safety-Driven Interpretable Model for Vehicle Control with Impact on Traffic
    Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, and Jonathan Sprinkle
    IEEE Transactions on Intelligent Transportation Systems 2025

2024

  1. Formal Logic Enabled Personalized Federated Learning through Property Inference
    Ziyan An, Taylor T Johnson, and Meiyi Ma
    In Proceedings of the AAAI Conference on Artificial Intelligence 2024
  2. Enabling MCTS Explainability for Sequential Planning through Computation Tree Logic
    Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, and Meiyi Ma
    In European Conference on Artificial Intelligence (ECAI) 2024
  3. Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode
    Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, and Jonathan Sprinkle
    In IEEE 27th International Conference on Intelligent Transportation Systems (ITSC) 2024

2023

  1. Fairguard: Harness Logic-Based Fairness Rules in Smart Cities
    Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, and Meiyi Ma
    In Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI) 2023
  2. Guiding Federated Learning with Inferenced Formal Logic Properties
    Ziyan An, and Meiyi Ma
    In Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) 2023
  3. EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
    Yiqi Zhao, Ziyan An, Meiyi Ma, and Taylor Johnson
    arXiv preprint arXiv:2308.07890 2023
  4. Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
    Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, and Meiyi Ma
    In International Conference on Runtime Verification 2023

2022

  1. V2X-Sim: Multi-Agent Collaborative Perception Dataset and Benchmark for Autonomous Driving
    Yiming Li, Dekun Ma, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, and Chen Feng
    IEEE Robotics and Automation Letters 2022
  2. Evaluation of an Online Survey Instrument to Measure Users’ Privacy Perception and Decision of V2X Communication in Connected Autonomous Vehicles
    Zekun Cai, Ziyan An, and Aiping Xiong
    In Proceedings of the Human Factors and Ergonomics Society Annual Meeting 2022

2021

  1. V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving
    Yiming Li, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, and Chen Feng
    In International Conference on Computer Vision (ICCV) Workshop on Simulation Technology for Embodied AI (SEAI) 2021