Alert button
Picture for Daniel J. Fremont

Daniel J. Fremont

Alert button

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

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

Figure 1 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Figure 2 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Figure 3 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Figure 4 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Viaarxiv icon

Addressing the IEEE AV Test Challenge with Scenic and VerifAI

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

Figure 1 for Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Figure 2 for Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Figure 3 for Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Figure 4 for Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Viaarxiv icon

Parallel and Multi-Objective Falsification with Scenic and VerifAI

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

Figure 1 for Parallel and Multi-Objective Falsification with Scenic and VerifAI
Figure 2 for Parallel and Multi-Objective Falsification with Scenic and VerifAI
Figure 3 for Parallel and Multi-Objective Falsification with Scenic and VerifAI
Figure 4 for Parallel and Multi-Objective Falsification with Scenic and VerifAI
Viaarxiv icon

Entropy-Guided Control Improvisation

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

Figure 1 for Entropy-Guided Control Improvisation
Figure 2 for Entropy-Guided Control Improvisation
Figure 3 for Entropy-Guided Control Improvisation
Figure 4 for Entropy-Guided Control Improvisation
Viaarxiv icon

Scenic: A Language for Scenario Specification and Data Generation

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

Figure 1 for Scenic: A Language for Scenario Specification and Data Generation
Figure 2 for Scenic: A Language for Scenario Specification and Data Generation
Figure 3 for Scenic: A Language for Scenario Specification and Data Generation
Figure 4 for Scenic: A Language for Scenario Specification and Data Generation
Viaarxiv icon

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

May 14, 2020
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia

Figure 1 for Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Figure 2 for Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Figure 3 for Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Figure 4 for Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Viaarxiv icon

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

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

Figure 1 for Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Figure 2 for Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Figure 3 for Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Figure 4 for Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Viaarxiv icon

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

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

Figure 1 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 2 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 3 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Figure 4 for VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Viaarxiv icon

Scenic: Language-Based Scene Generation

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

Figure 1 for Scenic: Language-Based Scene Generation
Figure 2 for Scenic: Language-Based Scene Generation
Figure 3 for Scenic: Language-Based Scene Generation
Figure 4 for Scenic: Language-Based Scene Generation
Viaarxiv icon