@misc{indiciaef180670516a0,
  title = {Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World},
  author = {Daniel J. Fremont and Edward Kim and Yash Vardhan Pant and Sanjit A. Seshia and Atul Acharya and Xantha Bruso and Paul Wells and Steve Lemke and Qiang Lu and Shalin Mehta},
  year = {2020},
  url = {https://arxiv.org/abs/2003.07739},
  note = {Source identifier: 2003.07739}
}