Follow
Daniel J. Fremont
Daniel J. Fremont
Verified email at ucsc.edu - Homepage
Title
Cited by
Cited by
Year
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
184*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
1542019
Distribution-Aware Sampling and Weighted Model Counting for SAT.
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
AAAI 14, 1722-1730, 2014
1532014
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
1072015
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
892018
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
812020
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
712016
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
432020
Maximum Model Counting
DJ Fremont, MN Rabe, SA Seshia
AAAI, 3885-3892, 2017
432017
Control Improvisation
DJ Fremont, A Donzé, SA Seshia, D Wessel
arXiv preprint arXiv:1411.0698, 2014
332014
Scenic: A language for scenario specification and data generation
DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
Machine Learning, 1-45, 2022
242022
Control Improvisation with Probabilistic Temporal Specifications
I Akkaya, DJ Fremont, R Valle, A Donzé, EA Lee, SA Seshia
arXiv preprint arXiv:1511.02279, 2015
232015
On the Hardness of SAT with Community Structure
N Mull, DJ Fremont, SA Seshia
International Conference on Theory and Applications of Satisfiability …, 2016
192016
Reactive Control Improvisation
DJ Fremont, SA Seshia
International Conference on Computer Aided Verification, 307-326, 2018
142018
Algorithmic Improvisation
DJ Fremont
UC Berkeley, 2019
92019
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
82021
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
82016
Speeding Up SMT-Based Quantitative Program Analysis
DJ Fremont, SA Seshia
arXiv preprint arXiv:1405.7320, 2014
62014
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
52021
Safety in autonomous driving: Can tools offer guarantees?
DJ Fremont, AL Sangiovanni-Vincentelli, SA Seshia
2021 58th ACM/IEEE Design Automation Conference (DAC), 1311-1314, 2021
42021
The system can't perform the operation now. Try again later.
Articles 1–20