1 citations · 1 across the 1 of their papers we have counts for
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…
cs.AI2021★ 1 cited
Parallel and Multi-Objective Falsification with Scenic and VerifAI
Kesav Viswanadha, Edward Kim, Francis Indaheng +2
Falsification has emerged as an important tool for simulation-based verification of autonomous systems. In this paper, we present extensions to the Scenic scenario specification la…