1 citations · 1 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
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…
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…