Daniel J. Fremont

According to our database, Daniel J. Fremont authored at least 38 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Scenic: a language for scenario specification and data generation.

Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Mach. Learn., October, 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

Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications.

Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Runtime Verification - 23rd International Conference, 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, Sanjit A. Seshia

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 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

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.

Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.

Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems.

Ivan F. Salgado, Nicanor Quijano, Daniel J. Fremont, Alvaro A. Cárdenas

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.

Andreas Gittis, Eric Vin, Daniel J. Fremont

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation.

Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia

CoRR, 2021

Parallel and Multi-objective Falsification with Scenic and VerifAI.

Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Runtime Verification - 21st International Conference, 2021

Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.

Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Runtime Verification - 21st International Conference, 2021

Entropy-Guided Control Improvisation.

Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Safety in Autonomous Driving: Can Tools Offer Guarantees?

Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Addressing the IEEE AV Test Challenge with Scenic and VerifAI.

Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving.

Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia

CoRR, 2020

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.

Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

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

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Algorithmic Improvisation.

Daniel J. Fremont

PhD thesis, 2019

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems.

Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

CoRR, 2019

Scenic: a language for scenario specification and scene generation.

Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems.

Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Scenic: Language-Based Scene Generation.

Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

CoRR, 2018

Reactive Control Improvisation.

Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Formal Specification for Deep Neural Networks.

Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Control Improvisation.

Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia

CoRR, 2017

Maximum Model Counting.

Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

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

On the Hardness of SAT with Community Structure.

Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Learning and Visualizing Music Specifications Using Pattern Graphs.

Rafael Valle, Daniel J. Fremont, Ilge Akkaya, Alexandre Donzé, Adrian Freed, Sanjit A. Seshia

Proceedings of the 17th International Society for Music Information Retrieval Conference, 2016

Control Improvisation with Probabilistic Temporal Specifications.

Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia

Proceedings of the First IEEE International Conference on Internet-of-Things Design and Implementation, 2016

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

Proceedings of the Beyond NP, 2016

2015

On Parallel Scalable Uniform SAT Witness Generation.

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Control Improvisation.

Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Speeding Up SMT-Based Quantitative Program Analysis.

Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

Distribution-Aware Sampling and Weighted Model Counting for SAT.

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

The Reachability Problem for Affine Functions on the Integers

Daniel J. Fremont

CoRR, 2013