| Scenic: A Language for Scenario Specification and Scene Generation DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 449 | 2019 |
| 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 | 344 | 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, ... arXiv preprint arXiv:2003.07739, 2020 | 268 | 2020 |
| Distribution-Aware Sampling and Weighted Model Counting for SAT. S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi AAAI 14, 1722-1730, 2014 | 209 | 2014 |
| 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 | 167 | 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 | 160 | 2022 |
| On Parallel Scalable Uniform SAT Witness Generation S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Tools and Algorithms for the Construction and Analysis of Systems, 304-319, 2015 | 151 | 2015 |
| Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI DJ Fremont, J Chiu, DD Margineantu, D Osipychev, SA Seshia arXiv preprint arXiv:2005.07173, 2020 | 89 | 2020 |
| Constrained sampling and counting: Universal hashing meets SAT solving KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 84 | 2016 |
| Maximum Model Counting DJ Fremont, MN Rabe, SA Seshia AAAI, 3885-3892, 2017 | 62 | 2017 |
| Control Improvisation DJ Fremont, A Donzé, SA Seshia, D Wessel arXiv preprint arXiv:1411.0698, 2014 | 35 | 2014 |
| Addressing the IEEE AV test challenge with Scenic and VerifAI K Viswanadha, F Indaheng, J Wong, E Kim, E Kalvan, Y Pant, DJ Fremont, ... 2021 IEEE International Conference on Artificial Intelligence Testing …, 2021 | 29 | 2021 |
| On the Hardness of SAT with Community Structure N Mull, DJ Fremont, SA Seshia International Conference on Theory and Applications of Satisfiability …, 2016 | 27 | 2016 |
| Control Improvisation with Probabilistic Temporal Specifications I Akkaya, DJ Fremont, R Valle, A Donzé, EA Lee, SA Seshia arXiv preprint arXiv:1511.02279, 2015 | 25 | 2015 |
| 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 | 23 | 2023 |
| 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 | 22 | 2021 |
| Reactive Control Improvisation DJ Fremont, SA Seshia International Conference on Computer Aided Verification, 307-326, 2018 | 21 | 2018 |
| Formal analysis of AI-based autonomy: from modeling to runtime assurance H Torfah, S Junges, DJ Fremont, SA Seshia Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021 | 18 | 2021 |
| Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems IF Salgado, N Quijano, DJ Fremont, AA Cardenas 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2022 | 13 | 2022 |
| Algorithmic Improvisation DJ Fremont UC Berkeley, 2019 | 13 | 2019 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
