Edward Kim
Edward Kim
PhD Candidate at UC Berkeley, Electrical Engineering and Computer Science (EECS)
Verified email at
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, ...
International Conference on Computer Aided Verification, 432-442, 2019
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
International Symposium on Automated Technology for Verification and …, 2018
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
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
International Conference on Runtime Verification, 265-276, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–11