Ziyan An

PhD student, Vanderbilt University

Joined

August 2021

Names

Ziyan An (Preferred)

Emails

****@gmail.com (Confirmed)

****@vanderbilt.edu (Confirmed)

****@nyu.edu (Confirmed)

Personal Links

Career & Education History

PhD student

Vanderbilt University (vanderbilt.edu)

2022 – Present

Undergrad student

New York University (nyu.edu)

2018 – 2022

Advisors, Relations & Conflicts

PhD Advisor

Meiyi Ma

2022 – Present

Expertise

Explainable AI

2022 – Present

Formal Methods

2022 – Present

Cyber Physical Systems

2022 – Present

Publications

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
- ECAI 2024 - 27TH European Conference on Artificial Intelligence
- Readers: Everyone
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
- 8th ACM/IEEE Conference on Internet of Things Design and Implementation
- Readers: Everyone
Guiding Federated Learning with Inferenced Formal Logic Properties
Ziyan An, Meiyi Ma
- Published: 01 Jan 2023, Last Modified: 14 May 2023
- ICCPS 2023
- Readers: Everyone
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
- Published: 01 Jan 2023, Last Modified: 14 May 2023
- IoTDI 2023
- Readers: Everyone
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
- Published: 01 Jan 2023, Last Modified: 14 May 2023
- CoRR 2023
- Readers: Everyone
V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving
Yiming Li, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, Chen Feng
- 2022 (modified: 16 Nov 2022)
- CoRR 2022
- Readers: Everyone
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
- Published: 01 Jan 2022, Last Modified: 14 May 2023
- IEEE Robotics Autom. Lett. 2022
- Readers: Everyone

Ziyan An

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Guiding Federated Learning with Inferenced Formal Logic Properties

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

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

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

Co-Authors