ATARI: Autonomous Testing and Real-Time Intelligence - A Framework for Autonomously Testing Modern Applications. - Kesav Viswanadha; Shivkumar Shivaji; Ram Shanmugam; Seounghan Song; Seoyoung Choi; Naresh Kumar (AITest, 2019)

Addressing the IEEE AV Test Challenge with Scenic and VerifAI. - Kesav Viswanadha; Francis Indaheng; Justin Wong; Edward Kim 005; Ellen Kalvan; Yash Pant; Daniel J. Fremont; Sanjit A. Seshia (AITest, 2021)

Parallel and Multi-objective Falsification with Scenic and VerifAI. - Kesav Viswanadha; Edward Kim 005; Francis Indaheng; Daniel J. Fremont; Sanjit A. Seshia (RV, 2021)

A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. - Francis Indaheng; Edward Kim 005; Kesav Viswanadha; Jay Shenoy; Jinkyu Kim; Daniel J. Fremont; Sanjit A. Seshia (CoRR, 2021)