8 citations · 9 across the 2 of their papers we have counts for
3 papers
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Francis Indaheng, Edward Kim, Kesav Viswanadha +4
Behavior prediction remains one of the most challenging tasks in the autonomous vehicle (AV) software stack. Forecasting the future trajectories of nearby agents plays a critical r…
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…
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…