Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.

Daniel J. Fremont Edward Kim Yash Vardhan Pant Sanjit A. Seshia Atul Acharya Xantha Bruso Paul Wells Steve Lemke Qiang Lu Shalin Mehta

Published in: CoRR (2020)

Keyphrases