2 papers
cs.SE2021
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Kesav Viswanadha, Francis Indaheng, Justin Wong +5
This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveragin…
eess.SY2020
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant +7
We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanni…