Ziyan An

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Reinforcement Learning

Boolean Satisfiability

Top Venues

IEEE Robotics Autom. Lett.

Publications

Ziyan An, Taylor T. Johnson, Meiyi Ma
Formal Logic Enabled Personalized Federated Learning through Property Inference. AAAI (2024)
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. CoRR (2024)
Ziyan An, Taylor T. Johnson, Meiyi Ma
Formal Logic Enabled Personalized Federated Learning Through Property Inference. CoRR (2024)
Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability. CoRR (2023)
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
Fairguard: Harness Logic-based Fairness Rules in Smart Cities. CoRR (2023)
Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. CoRR (2023)
Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. RV (2023)
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
Fairguard: Harness Logic-based Fairness Rules in Smart Cities. IoTDI (2023)
Ziyan An, Meiyi Ma
Guiding Federated Learning with Inferenced Formal Logic Properties. ICCPS (2023)
Yiming Li, Dekun Ma, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, Chen Feng
V2X-Sim: Multi-Agent Collaborative Perception Dataset and Benchmark for Autonomous Driving. IEEE Robotics Autom. Lett. 7 (4) (2022)
Yiming Li, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, Chen Feng
V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving. CoRR (2022)