%0 Conference Paper %1 conf/itsc/FremontKPSABWLL20 %A Fremont, Daniel J. %A Kim, Edward %A Pant, Yash Vardhan %A Seshia, Sanjit A. %A Acharya, Atul %A Bruso, Xantha %A Wells, Paul %A Lemke, Steve %A Lu, Qiang %A Mehta, Shalin %B ITSC %D 2020 %I IEEE %K dblp %P 1-8 %T Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. %U http://dblp.uni-trier.de/db/conf/itsc/itsc2020.html#FremontKPSABWLL20 %@ 978-1-7281-4149-7

@inproceedings{conf/itsc/FremontKPSABWLL20, added-at = {2023-10-26T00:00:00.000+0200}, author = {Fremont, Daniel J. and Kim, Edward and Pant, Yash Vardhan and Seshia, Sanjit A. and Acharya, Atul and Bruso, Xantha and Wells, Paul and Lemke, Steve and Lu, Qiang and Mehta, Shalin}, biburl = {https://www.bibsonomy.org/bibtex/231e1c8ac7928126a86bec330b6f77daf/dblp}, booktitle = {ITSC}, crossref = {conf/itsc/2020}, ee = {https://doi.org/10.1109/ITSC45102.2020.9294368}, interhash = {bd084c4c8061912dafe5e519a847a65a}, intrahash = {31e1c8ac7928126a86bec330b6f77daf}, isbn = {978-1-7281-4149-7}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-09T23:29:10.000+0200}, title = {Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.}, url = {http://dblp.uni-trier.de/db/conf/itsc/itsc2020.html#FremontKPSABWLL20}, year = 2020 }