Ziyan An

According to our database, Ziyan An authored at least 9 papers between 2022 and 2024.

Collaborative distances:

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

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