research
∙
11/04/2019
Real-time Funnel Generation for Restricted Motion Planning
In autonomous systems, a motion planner generates reference trajectories...
share
research
∙
11/04/2019
Counterexample-Guided Synthesis of Perception Models and Control
We consider the problem of synthesizing safe and robust controllers for ...
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
∙
04/14/2018
Path-Following through Control Funnel Functions
We present an approach to path following using so-called control funnel ...
research
∙
11/29/2017