Picture for Daniel J. Fremont

Daniel J. Fremont

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

Add code
Nov 14, 2021
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

Add code
Aug 20, 2021
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

Add code
Jul 09, 2021
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

Add code
Mar 09, 2021
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

Add code
Oct 13, 2020
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

Add code
May 14, 2020
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

Add code
Mar 17, 2020
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

Add code
Feb 14, 2019
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

Add code
Sep 25, 2018
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

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

Add code
Dec 21, 2015
Figure 1 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Figure 2 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Figure 3 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Figure 4 for Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Viaarxiv icon