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
∙
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
∙
11/04/2019
Counterexample-Guided Synthesis of Perception Models and Control
We consider the problem of synthesizing safe and robust controllers for ...
research
∙
03/24/2019
A Formalization of Robustness for Deep Neural Networks
Deep neural networks have been shown to lack robustness to small input p...
research
∙
02/27/2019
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
We consider the problem of extracting safe environments and controllers ...
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
∙
09/03/2018
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets
We propose a novel formulation for approximating reachable sets through ...
research
∙
08/23/2018
SOTER: Programming Safe Robotics System using Runtime Assurance
Autonomous robots increasingly depend on third-party off-the-shelf compo...
research
∙
05/17/2018
Counterexample-Guided Data Augmentation
We present a novel framework for augmenting data sets for machine learni...
research
∙
02/24/2018
Time Series Learning using Monotonic Logical Properties
We propose a new paradigm for time-series learning where users implicitl...
research
∙
02/23/2018
Verifying Controllers Against Adversarial Examples with Bayesian Optimization
Recent successes in reinforcement learning have lead to the development ...
research
∙
02/14/2018
Context-Specific Validation of Data-Driven Models
With an increasing use of data-driven models to control robotic systems,...
research
∙
08/10/2017
