publications

Show my publications by categories in reversed chronological order.

2024

  1. Using Automated Vehicle Data as a Fitness Tracker for Sustainability
    Xia Wang, Sobenna Onwumelu, and Jonathan Sprinkle
    In 2024 Forum for Innovative Sustainable Transportation Systems (FISTS) , 2024
  2. Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs
    Jonathan W Lee, Han Wang, Kathy Jang, and 8 more authors
    arXiv preprint arXiv:2402.17043, 2024

2023

  1. Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models
    Ziyan An, Xia Wang, Taylor T. Johnson, and 2 more authors
    In International Conference on Runtime Verification , 2023
  2. Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes
    Xia Wang, Anda Liang, Jonathan Sprinkle, and 1 more author
    arXiv preprint arXiv:2312.16364, 2023