chuchu

Building Safe Autonomy

Search

Tue, 09/28/2021

Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Density Constrained Reinforcement Learning
Optimal mixed discrete-continuous planning for linear hybrid systems
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
Planning in Dynamic and Partially Unknown Environments
Controller synthesis for linear system with reach-avoid specifications
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
Multi-agent safety verification using symmetry transformations
Reactive motion planning with probabilistics safety guarantees