| 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 | 233 | 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 | 150 | 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 | 117 | 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 | 66 | 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 | 27 | 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 | 19 | 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 | 14* | 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 | 10 | 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 | 7 | 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 | 5 | 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 | 2 | 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 | 1 | 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 | | 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 | | 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 | | 2019 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
