The Reachability Problem for Affine Functions on the Integers - Daniel J. Fremont (CoRR, 2013)

Distribution-Aware Sampling and Weighted Model Counting for SAT. - Supratik Chakraborty; Daniel J. Fremont; Kuldeep S. Meel; Sanjit A. Seshia; Moshe Y. Vardi (AAAI, 2014)

Speeding Up SMT-Based Quantitative Program Analysis. - Daniel J. Fremont; Sanjit A. Seshia (SMT, 2014)

Control Improvisation. - Daniel J. Fremont; Alexandre Donzé; Sanjit A. Seshia; David Wessel (FSTTCS, 2015)

On Parallel Scalable Uniform SAT Witness Generation. - Supratik Chakraborty; Daniel J. Fremont; Kuldeep S. Meel; Sanjit A. Seshia; Moshe Y. Vardi (TACAS, 2015)

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. - Kuldeep S. Meel; Moshe Y. Vardi; Supratik Chakraborty; Daniel J. Fremont; Sanjit A. Seshia; Dror Fried; Alexander Ivrii; Sharad Malik (AAAI Workshop: Beyond NP, 2016)

Control Improvisation with Probabilistic Temporal Specifications. - Ilge Akkaya; Daniel J. Fremont; Rafael Valle; Alexandre Donzé; Edward A. Lee; Sanjit A. Seshia (IoTDI, 2016)

Learning and Visualizing Music Specifications Using Pattern Graphs. - Rafael Valle; Daniel J. Fremont; Ilge Akkaya; Alexandre Donzé; Adrian Freed; Sanjit A. Seshia (ISMIR, 2016)

On the Hardness of SAT with Community Structure. - Nathan Mull; Daniel J. Fremont; Sanjit A. Seshia (SAT, 2016)

Specification Mining for Machine Improvisation with Formal Specifications. - Rafael Valle; Alexandre Donzé; Daniel J. Fremont; Ilge Akkaya; Sanjit A. Seshia; Adrian Freed; David Wessel (Comput. Entertain., 2016)

Maximum Model Counting. - Daniel J. Fremont; Markus N. Rabe; Sanjit A. Seshia (AAAI, 2017)

Control Improvisation. - Daniel J. Fremont; Alexandre Donzé; Sanjit A. Seshia (CoRR, 2017)

Formal Specification for Deep Neural Networks. - Sanjit A. Seshia; Ankush Desai; Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Sumukh Shivakumar; Marcell Vazquez-Chanlatte; Xiangyu Yue 001 (ATVA, 2018)

Reactive Control Improvisation. - Daniel J. Fremont; Sanjit A. Seshia (CAV (1), 2018)

Scenic: Language-Based Scene Generation. - Daniel J. Fremont; Xiangyu Yue 001; Tommaso Dreossi; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2018)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CAV (1), 2019)

Scenic: a language for scenario specification and scene generation. - Daniel J. Fremont; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (PLDI, 2019)

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CoRR, 2019)

Algorithmic Improvisation. - Daniel J. Fremont (2019)

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. - Daniel J. Fremont; Johnathan Chiu; Dragos D. Margineantu; Denis Osipychev; Sanjit A. Seshia (CAV (1), 2020)

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. - Daniel J. Fremont; Edward Kim 005; Yash Vardhan Pant; Sanjit A. Seshia; Atul Acharya; Xantha Bruso; Paul Wells; Steve Lemke; Qiang Lu 004; Shalin Mehta (ITSC, 2020)

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. - Jay Shenoy; Edward Kim 005; Xiangyu Yue 001; Taesung Park; Daniel J. Fremont; Alberto L. Sangiovanni-Vincentelli; Sanjit Seshia (CoRR, 2020)

Addressing the IEEE AV Test Challenge with Scenic and VerifAI. - Kesav Viswanadha; Francis Indaheng; Justin Wong; Edward Kim 005; Ellen Kalvan; Yash Pant; Daniel J. Fremont; Sanjit A. Seshia (AITest, 2021)

Safety in Autonomous Driving: Can Tools Offer Guarantees? - Daniel J. Fremont; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (DAC, 2021)

Entropy-Guided Control Improvisation. - Marcell Vazquez-Chanlatte; Sebastian Junges; Daniel J. Fremont; Sanjit Seshia (Robotics: Science and Systems, 2021)

Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. - Hazem Torfah; Sebastian Junges; Daniel J. Fremont; Sanjit A. Seshia (RV, 2021)

Parallel and Multi-objective Falsification with Scenic and VerifAI. - Kesav Viswanadha; Edward Kim 005; Francis Indaheng; Daniel J. Fremont; Sanjit A. Seshia (RV, 2021)

A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. - Francis Indaheng; Edward Kim 005; Kesav Viswanadha; Jay Shenoy; Jinkyu Kim; Daniel J. Fremont; Sanjit A. Seshia (CoRR, 2021)

Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. - Andreas Gittis; Eric Vin; Daniel J. Fremont (CAV (2), 2022)

Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems. - Ivan F. Salgado; Nicanor Quijano; Daniel J. Fremont; Alvaro A. Cárdenas (EuroS&P Workshops, 2022)

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. - Edward Kim 005; Jay Shenoy; Sebastian Junges; Daniel J. Fremont; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ICCPS, 2022)

Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. - Edward Kim 005; Jay Shenoy; Sebastian Junges; Daniel J. Fremont; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ICCPS, 2022)

3D Environment Modeling for Falsification and Beyond with Scenic 3.0. - Eric Vin; Shun Kashiwa; Matthew Rhea; Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CAV (1), 2023)

Tackling simulation inconsistencies in the robot design process by selective empirical evaluation. - Anwesha Chattoraj; Eric Vin; Yusuke Tanaka; Jillian Naldrien Pantig; Daniel J. Fremont; Ankur Mehta (CPS-IoT Week Workshops, 2023)

Symbiotic CPS Design-Space Exploration through Iterated Optimization. - Sheng-Jung Yu; Inigo Incer; Valmik Prabhu; Anwesha Chattoraj; Eric Vin; Daniel J. Fremont; Ankur Mehta; Alberto L. Sangiovanni-Vincentelli; Shankar Sastry 001; Sanjit A. Seshia (CPS-IoT Week Workshops, 2023)

Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. - Beyazit Yalcinkaya; Hazem Torfah; Daniel J. Fremont; Sanjit A. Seshia (RV, 2023)

Guest Editorial: Special issue on robust machine learning. - Ransalu Senanayake; Daniel J. Fremont; Mykel J. Kochenderfer; Alessio R. Lomuscio; Dragos D. Margineantu; Cheng Soon Ong (Mach. Learn., 2023)

Scenic: a language for scenario specification and data generation. - Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (Mach. Learn., 2023)

Querying Labeled Time Series Data with Scenario Programs. - Edward Kim 005; Devan Shanker; Varun Bharadwaj; Hongbeen Park; Jinkyu Kim; Hazem Torfah; Daniel J. Fremont; Sanjit A. Seshia (NFM, 2025)

LeanLTL: A unifying framework for linear temporal logics in Lean. - Eric Vin; Kyle A. Miller; Daniel J. Fremont (CoRR, 2025)