21 citations · 48 across the 15 of their papers we have counts for
3 papers · 1 filter
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…
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving
Jay Shenoy, Edward Kim, Xiangyu Yue +4
Safely interacting with humans is a significant challenge for autonomous driving. The performance of this interaction depends on machine learning-based modules of an autopilot, suc…
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh +4
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particu…