research
∙
07/06/2023
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
We present a major new version of Scenic, a probabilistic programming la...
share
research
∙
06/06/2022
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
In many synthesis problems, it can be essential to generate implementati...
research
∙
10/28/2021
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Behavior prediction remains one of the most challenging tasks in the aut...
research
∙
08/20/2021
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
This paper summarizes our formal approach to testing autonomous vehicles...
research
∙
07/09/2021
Parallel and Multi-Objective Falsification with Scenic and VerifAI
Falsification has emerged as an important tool for simulation-based veri...
research
∙
03/09/2021
Entropy-Guided Control Improvisation
High level declarative constraints provide a powerful (and popular) way ...
research
∙
10/13/2020
Scenic: A Language for Scenario Specification and Data Generation
We propose a new probabilistic programming language for the design and a...
research
∙
05/14/2020
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
We demonstrate a unified approach to rigorous design of safety-critical ...
research
∙
03/17/2020
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
We present a new approach to automated scenario-based testing of the saf...
research
∙
02/12/2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
We present VERIFAI, a software toolkit for the formal design and analysi...
research
∙
09/25/2018
Scenic: Language-Based Scene Generation
Synthetic data has proved increasingly useful in both training and testi...
research
∙
04/13/2018
Reactive Control Improvisation
Reactive synthesis has become a widely-used paradigm for automatically b...
research
∙
12/21/2015
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Constrained sampling and counting are two fundamental problems in artifi...
research
∙
04/11/2014
