TY  - RPRT
TI  - Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
AU  - Daniel J. Fremont
AU  - Edward Kim
AU  - Yash Vardhan Pant
AU  - Sanjit A. Seshia
AU  - Atul Acharya
AU  - Xantha Bruso
AU  - Paul Wells
AU  - Steve Lemke
AU  - Qiang Lu
AU  - Shalin Mehta
PY  - 2020
UR  - https://arxiv.org/abs/2003.07739
ID  - 2003.07739
ER  -