Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta. Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. In 23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020, Rhodes, Greece, September 20-23, 2020. pages 1-8, IEEE, 2020. [doi]
@inproceedings{FremontKPSABWLL20,
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},
doi = {10.1109/ITSC45102.2020.9294368},
url = {https://doi.org/10.1109/ITSC45102.2020.9294368},
researchr = {https://researchr.org/publication/FremontKPSABWLL20},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {23rd IEEE International Conference on Intelligent Transportation Systems, ITSC 2020, Rhodes, Greece, September 20-23, 2020},
publisher = {IEEE},
isbn = {978-1-7281-4149-7},
}