Ziyan An

According to our database, Ziyan An authored at least 14 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

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

CoRR, May, 2025

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 J. Barth, Yong-Hong Kuo

CoRR, March, 2025

Combining LLMs with a Logic-Based Framework to Explain MCTS.

Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

Formal Logic-guided Robust Federated Learning against Poisoning Attacks.

Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach

CoRR, 2024

Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode.

Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle

Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic.

Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Formal Logic Enabled Personalized Federated Learning through Property Inference.

Ziyan An, Taylor T. Johnson, Meiyi Ma

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability.

Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson

CoRR, 2023

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

CoRR, 2023

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

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Fairguard: Harness Logic-based Fairness Rules in Smart Cities.

Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma

Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023

Guiding Federated Learning with Inferenced Formal Logic Properties.

Ziyan An, Meiyi Ma

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

2022

V2X-Sim: Multi-Agent Collaborative Perception Dataset and Benchmark for Autonomous Driving.

Yiming Li, Dekun Ma, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, Chen Feng

IEEE Robotics Autom. Lett., 2022

V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving.

Yiming Li, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, Chen Feng

CoRR, 2022