publications

publications by categories in reversed chronological order.

2021

    2022

    1. V2X-Sim
      V2X-Sim: Multi-agent collaborative perception dataset and benchmark for autonomous driving
      Li, Yiming, Ma, Dekun, An, Ziyan, Wang, Zixun, Zhong, Yiqi, Chen, Siheng, and Feng, Chen
      IEEE Robotics and Automation Letters 2022
    2. V2X-Sim
      V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving
      Li, Yiming, An, Ziyan, Wang, Zixun, Zhong, Yiqi, Chen, Siheng, and Feng, Chen
      arXiv preprint arXiv:2202.08449 2022

    2023

    1. Fairguard
      Fairguard: Harness Logic-based Fairness Rules in Smart Cities
      Zhao, Yiqi, An, Ziyan, Gao, Xuqing, Mukhopadhyay, Ayan, and Ma, Meiyi
      In IoTDI ’23: Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation 2023
    2. FedSTL
      Guiding Federated Learning with Inferenced Formal Logic Properties
      An, Ziyan, and Ma, Meiyi
      In Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) 2023
    3. MARL
      Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
      Wang, Jiangwei, Yang, Shuo, An, Ziyan, Han, Songyang, Zhang, Zhili, Mangharam, Rahul, Ma, Meiyi, and Miao, Fei
      arXiv preprint arXiv:2306.06808 2023
    4. Spec4Video
      Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
      An, Ziyan*, Wang, Xia*, Johnson, Taylor, Sprinkle, Jonathan, and Ma, Meiyi
      To appear 2023