Daniel J. Fremont

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 43

Top Topics

Autonomous Driving

Satisfiability Testing

Top Venues

Publications

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR (2023)
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV (2023)
Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer, Alessio R. Lomuscio, Dragos D. Margineantu, Cheng Soon Ong
Guest Editorial: Special issue on robust machine learning. Mach. Learn. 112 (8) (2023)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) (2023)
Anwesha Chattoraj, Eric Vin, Yusuke Tanaka, Jillian Naldrien Pantig, Daniel J. Fremont, Ankur Mehta
Tackling simulation inconsistencies in the robot design process by selective empirical evaluation. CPS-IoT Week Workshops (2023)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and data generation. Mach. Learn. 112 (10) (2023)
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
Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops (2023)
Andreas Gittis, Eric Vin, Daniel J. Fremont
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. CAV (2) (2022)
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS (2022)
Andreas Gittis, Eric Vin, Daniel J. Fremont
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. CoRR (2022)
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS (2022)
Ivan F. Salgado, Nicanor Quijano, Daniel J. Fremont, Alvaro A. Cárdenas
Fuzzing Malicious Driving Behavior to find Vulnerabilities in Collision Avoidance Systems. EuroS&P Workshops (2022)
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. CoRR (2021)
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. AITest (2021)
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV (2021)
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
Parallel and Multi-objective Falsification with Scenic and VerifAI. RV (2021)
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
Parallel and Multi-Objective Falsification with Scenic and VerifAI. CoRR (2021)
Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC (2021)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. CoRR (2021)
Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. CoRR (2021)
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR (2021)
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia
Entropy-Guided Control Improvisation. Robotics: Science and Systems (2021)
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CoRR (2020)
Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR (2020)
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CAV (1) (2020)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: A Language for Scenario Specification and Data Generation. CoRR (2020)
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. ITSC (2020)
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. CoRR (2020)
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and scene generation. PLDI (2019)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR (2019)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) (2019)
Daniel J. Fremont, Sanjit A. Seshia
Reactive Control Improvisation. CAV (1) (2018)
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
Formal Specification for Deep Neural Networks. ATVA (2018)
Daniel J. Fremont, Sanjit A. Seshia
Reactive Control Improvisation. CoRR (2018)
Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: Language-Based Scene Generation. CoRR (2018)
Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia
Maximum Model Counting. AAAI (2017)
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia
Control Improvisation. CoRR (2017)
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
On the Hardness of SAT with Community Structure. CoRR (2016)
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
On the Hardness of SAT with Community Structure. SAT (2016)
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP (2016)
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications. IoTDI (2016)
Rafael Valle, Daniel J. Fremont, Ilge Akkaya, Alexandre Donzé, Adrian Freed, Sanjit A. Seshia
Learning and Visualizing Music Specifications Using Pattern Graphs. ISMIR (2016)
Rafael Valle, Alexandre Donzé, Daniel J. Fremont, Ilge Akkaya, Sanjit A. Seshia, Adrian Freed, David Wessel
Specification Mining for Machine Improvisation with Formal Specifications. Comput. Entertain. 14 (3) (2016)
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
On Parallel Scalable Uniform SAT Witness Generation. TACAS (2015)
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia
Control Improvisation with Probabilistic Temporal Specifications. CoRR (2015)
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR (2015)
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel
Control Improvisation. FSTTCS (2015)
Daniel J. Fremont, Sanjit A. Seshia
Speeding Up SMT-Based Quantitative Program Analysis. CoRR (2014)
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel
Control Improvisation. CoRR (2014)
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
Distribution-Aware Sampling and Weighted Model Counting for SAT. CoRR (2014)
Daniel J. Fremont, Sanjit A. Seshia
Speeding Up SMT-Based Quantitative Program Analysis. SMT (2014)
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI (2014)
Daniel J. Fremont
The Reachability Problem for Affine Functions on the Integers CoRR (2013)