Ziyan An - RankMe

23 papers A* 2A 3B 2Journal 13Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Safety-Driven Interpretable Model for Vehicle Control With Impact on Traffic. IEEE Trans. Intell. Transp. Syst. Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle
2025	J	`jnl`	Combining LLMs with Logic-Based Framework to Explain MCTS. CoRR Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025	A	`conf`	Combining LLMs with a Logic-Based Framework to Explain MCTS. AAMAS Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025	J	`jnl`	Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities. ACM Trans. Cyber Phys. Syst. Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2025	B	`conf`	ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. RV Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma
2025	J	`jnl`	Large Language Models for Traffic and Transportation Research: Methodologies, State of the Art, and Future Opportunities. CoRR 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
2025	A*	`conf`	LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration. IJCAI Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma
2025	J	`jnl`	LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration. CoRR Zirong Chen, Ziyan An, Jennifer Reynolds, Kristin Mullen, Stephen Martini, Meiyi Ma
2025	A	`conf`	Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. IROS Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
2024	A	`conf`	Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. ECAI Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
2024	J	`jnl`	Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. CoRR Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
2024	J	`jnl`	Formal Logic Enabled Personalized Federated Learning Through Property Inference. CoRR Ziyan An, Taylor T. Johnson, Meiyi Ma
2024	A*	`conf`	Formal Logic Enabled Personalized Federated Learning through Property Inference. AAAI Ziyan An, Taylor T. Johnson, Meiyi Ma
2024	J	`jnl`	Formal Logic-guided Robust Federated Learning against Poisoning Attacks. CoRR Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach
2024	—	`conf`	Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode. ITSC Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matthew R. Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle
2023	J	`jnl`	EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability. CoRR Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor T. Johnson
2023	—	`conf`	Fairguard: Harness Logic-based Fairness Rules in Smart Cities. IoTDI Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2023	J	`jnl`	Fairguard: Harness Logic-based Fairness Rules in Smart Cities. CoRR Yiqi Zhao, Ziyan An, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma
2023	—	`conf`	Guiding Federated Learning with Inferenced Formal Logic Properties. ICCPS Ziyan An, Meiyi Ma
2023	J	`jnl`	Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications. CoRR Jiangwei Wang, Shuo Yang, Ziyan An, Songyang Han, Zhili Zhang, Rahul Mangharam, Meiyi Ma, Fei Miao
2023	B	`conf`	Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. RV Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
2022	J	`jnl`	V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving. CoRR Yiming Li, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, Chen Feng
2022	J	`jnl`	V2X-Sim: Multi-Agent Collaborative Perception Dataset and Benchmark for Autonomous Driving. IEEE Robotics Autom. Lett. Yiming Li, Dekun Ma, Ziyan An, Zixun Wang, Yiqi Zhong, Siheng Chen, Chen Feng