Edward Kim

According to our database, Edward Kim authored at least 18 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Dynamic, Multi-objective Specification and Falsification of Autonomous CPS.

Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Scenic: a language for scenario specification and data generation.

Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Mach. Learn., October, 2023

Simulation-Based Testing, Validation, and Training with Probabilistic Programming

Edward Kim

PhD thesis, 2023

3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.

Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.

Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning.

Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation.

Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia

CoRR, 2021

Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments.

Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Sanjit A. Seshia

CoRR, 2021

Parallel and Multi-objective Falsification with Scenic and VerifAI.

Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Runtime Verification - 21st International Conference, 2021

Addressing the IEEE AV Test Challenge with Scenic and VerifAI.

Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving.

Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia

CoRR, 2020

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.

Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.

Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors.

Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia

CoRR, 2019

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.

Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

CoRR, 2019

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.

Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Formal Specification for Deep Neural Networks.

Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue

Proceedings of the Automated Technology for Verification and Analysis, 2018