no code implementations • 28 Oct 2021 • Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia
Hence, it is important that these prediction models are extensively tested in various test scenarios involving interactive behaviors prior to deployment.
no code implementations • 20 Aug 2021 • Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
Sampling from an abstract scenario yields many different concrete scenarios which can be run as test cases for the AV.
1 code implementation • 9 Jul 2021 • Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
Falsification has emerged as an important tool for simulation-based verification of autonomous systems.