| 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 | 365 | 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 | 290 | 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 | 207 | 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 | 199 | 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 | 145 | 2018 |
| 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 | 141 | 2015 |
| Scenic: A language for scenario specification and data generation DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ... Machine Learning, 1-45, 2022 | 117 | 2022 |
| 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 | 79 | 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 | 78 | 2016 |
| Maximum Model Counting DJ Fremont, MN Rabe, SA Seshia AAAI, 3885-3892, 2017 | 58 | 2017 |
| Control Improvisation DJ Fremont, A Donzé, SA Seshia, D Wessel arXiv preprint arXiv:1411.0698, 2014 | 34 | 2014 |
| 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 |
| On the Hardness of SAT with Community Structure N Mull, DJ Fremont, SA Seshia International Conference on Theory and Applications of Satisfiability …, 2016 | 24 | 2016 |
| 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 | 22 | 2021 |
| Reactive Control Improvisation DJ Fremont, SA Seshia International Conference on Computer Aided Verification, 307-326, 2018 | 18 | 2018 |
| 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 | 15 | 2021 |
| 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 | 12 | 2021 |
| 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 | 11 | 2023 |
| Algorithmic Improvisation DJ Fremont UC Berkeley, 2019 | 11 | 2019 |
| Specification Mining for Machine Improvisation with Formal Specifications R Valle, A Donzé, DJ Fremont, I Akkaya, SA Seshia, A Freed, D Wessel Computers in Entertainment (CIE) 14 (3), 6, 2016 | 8 | 2016 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
