Edward Kim
Edward Kim
Postdoc at UC Berkeley, Electrical Engineering and Computer Science (EECS)
Verified email at - Homepage
Cited by
Cited by
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Formal scenario-based testing of autonomous vehicles: From simulation to the real world
DJ Fremont, E Kim, YV Pant, SA Seshia, A Acharya, X Bruso, P Wells, ...
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
Automated Technology for Verification and Analysis: 16th International …, 2018
Scenic: A language for scenario specification and data generation
DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
Machine Learning, 1-45, 2022
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors
E Kim, D Gopinath, C Pasareanu, SA Seshia
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
K Viswanadha, F Indaheng, J Wong, E Kim, E Kalvan, Y Pant, D Fremont, ...
IEEE International Conference On Artificial Intelligence Testing 1, 136-142, 2021
Programmatic Modeling and Generation of Real-time Strategic Soccer Environments for Reinforcement Learning
AS Azad*, E Kim*, Q Wu, K Lee, I Stoica, P Abbeel, SA Seshia
AAAI Conference on Artificial Intelligence, 2022, 2021
Parallel and Multi-objective Falsification with Scenic and VerifAI
K Viswanadha, E Kim, F Indaheng, DJ Fremont, SA Seshia
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
F Indaheng, E Kim, K Viswanadha, J Shenoy, J Kim, DJ Fremont, ...
NeuriPS Autonomous Driving Workshop, 2021, 2021
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation
E Kim, J Shenoy, S Junges, DJ Fremont, A Sangiovanni-Vincentelli, ...
2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022
A customizable dynamic scenario modeling and data generation platform for autonomous driving
J Shenoy, E Kim, X Yue, T Park, D Fremont, A Sangiovanni-Vincentelli, ...
arXiv preprint arXiv:2011.14551, 2020
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
International Conference on Computer Aided Verification, 253-265, 2023
Using Probabilistic Programs to Generate Sensor Data for System Testing, Training, and Validation
E Kim, Sangiovanni-Vincentelli, S Seshia
Workshop at the International Conference on Robotics and Automation (ICRA), 2023
Querying Labelled Data with Probabilistic Programs for Sim-to-Real Validation
E Kim, J Shenoy, S Junges, D Fremont, Sangiovanni-Vincentelli, S Seshia
Workshop on Verification of Probabilistic Programs at Computer Aided …, 2023
Evaluating Sampling Techniques for Testing Cyber-Physical Systems with Machine Learning Components
E Kim, S Ghosh, T Dreossi, D Fremont, S Seshia, ...
Workshop on Monitoring and Testing of Cyber-Physical Systems Workshop at the …, 2019
The system can't perform the operation now. Try again later.
Articles 1–15