chuchu

Building Safe Autonomy

Search

Username *

Enter your chuchu username.

Password *

Enter the password that accompanies your username.

CAPTCHA

This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.

Math question * 7 + 0 =

Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.

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
Density Constrained Reinforcement Learning
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Optimal mixed discrete-continuous planning for linear hybrid systems
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models
Learning Certified Control using Contraction Metric
Multi-agent safety verification using symmetry transformations