Sign in
Ziyan An
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 9
Top Topics
Entry Point
Reinforcement Learning
Boolean Satisfiability
Smart Cities
Top Venues
CoRR
IEEE Robotics Autom. Lett.
ICCPS
RV
</>
Publications
</>
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)