Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matt Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle
IEEE Transactions on Intelligent Transportation Systems
Jan 2025
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems
Jan 2025
Yimo Yan, Yejia Liao, Guanhao Xu, Ruili Yao, Huiying Fan, Jingran Sun, Xia Wang, Jonathan Sprinkle, Ziyan An, Meiyi Ma
arXiv preprint arXiv:2503.21330
Jan 2025
Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matt Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle
2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)
Jan 2024
Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
Jan 2023