|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