Formal Specification for Deep Neural Networks. - Sanjit A. Seshia; Ankush Desai; Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Sumukh Shivakumar; Marcell Vazquez-Chanlatte; Xiangyu Yue 001 (ATVA, 2018)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CAV (1), 2019)

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CoRR, 2019)

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. - Edward Kim 005; Divya Gopinath; Corina S. Pasareanu; Sanjit A. Seshia (CoRR, 2019)

A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. - Edward Kim 005; Divya Gopinath; Corina S. Pasareanu; Sanjit A. Seshia (CVPR, 2020)

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. - Daniel J. Fremont; Edward Kim 005; Yash Vardhan Pant; Sanjit A. Seshia; Atul Acharya; Xantha Bruso; Paul Wells; Steve Lemke; Qiang Lu 004; Shalin Mehta (ITSC, 2020)

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. - Jay Shenoy; Edward Kim 005; Xiangyu Yue 001; Taesung Park; Daniel J. Fremont; Alberto L. Sangiovanni-Vincentelli; Sanjit Seshia (CoRR, 2020)

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)

Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments. - Abdus Salam Azad; Edward Kim 005; Qiancheng Wu; Kimin Lee; Ion Stoica; Pieter Abbeel; Sanjit A. Seshia (CoRR, 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)

Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. - Abdus Salam Azad; Edward Kim 005; Qiancheng Wu; Kimin Lee; Ion Stoica; Pieter Abbeel; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (AAAI, 2022)

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. - Edward Kim 005; Jay Shenoy; Sebastian Junges; Daniel J. Fremont; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ICCPS, 2022)

Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. - Edward Kim 005; Jay Shenoy; Sebastian Junges; Daniel J. Fremont; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ICCPS, 2022)

3D Environment Modeling for Falsification and Beyond with Scenic 3.0. - Eric Vin; Shun Kashiwa; Matthew Rhea; Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CAV (1), 2023)

Simulation-Based Testing, Validation, and Training with Probabilistic Programming - Edward Kim 005 (2023)

Scenic: a language for scenario specification and data generation. - Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (Mach. Learn., 2023)

Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. - Kevin Kai-Chun Chang; Kaifei Xu; Edward Kim 005; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (RV, 2024)

Querying Labeled Time Series Data with Scenario Programs. - Edward Kim 005; Devan Shanker; Varun Bharadwaj; Hongbeen Park; Jinkyu Kim; Hazem Torfah; Daniel J. Fremont; Sanjit A. Seshia (NFM, 2025)