Sotabase

Career

· Assoc. Professor, UC Santa Cruz

Publications (37)

Scenic: a language for scenario specification and scene generation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
295
cited
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
International Conference on Computer Aided Verification · 2019
215
cited
Distribution-Aware Sampling and Weighted Model Counting for SAT
AAAI Conference on Artificial Intelligence · 2014
160
cited
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) · 2020
154
cited
On Parallel Scalable Uniform SAT Witness Generation
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2015
132
cited
Scenic: a language for scenario specification and data generation
Machine-mediated learning · 2020
126
cited
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis · 2018
108
cited
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
AAAI Workshop: Beyond NP · 2015
78
cited
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
International Conference on Computer Aided Verification · 2020
58
cited
Maximum Model Counting
AAAI Conference on Artificial Intelligence · 2017
47
cited
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
arXiv.org · 2019
33
cited
Control Improvisation
Foundations of Software Technology and Theoretical Computer Science · 2014
22
cited
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
International Conference on Artificial Intelligence Testing · 2021
16
cited
On the Hardness of SAT with Community Structure
International Conference on Theory and Applications of Satisfiability Testing · 2016
16
cited
Control Improvisation with Probabilistic Temporal Specifications
International Conference on Internet-of-Things Design and Implementation · 2015
14
cited
Parallel and Multi-Objective Falsification with Scenic and VerifAI
Runtime Verification · 2021
13
cited
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
arXiv.org · 2021
12
cited
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance
Runtime Verification · 2021
11
cited
Reactive Control Improvisation
International Conference on Computer Aided Verification · 2018
8
cited
Safety in Autonomous Driving: Can Tools Offer Guarantees?
Design Automation Conference · 2021
8
cited
Sotabase
Daniel Fremont | Researcher Profile | Sotabase | Sotabase