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…