
-
Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty
When autonomous robots interact with humans, such as during autonomous d...
read it
-
Constrained Risk-Averse Markov Decision Processes
We consider the problem of designing policies for Markov decision proces...
read it
-
Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles
The ability to guarantee safety and progress for all vehicles is vital t...
read it
-
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
The prolific rise in autonomous systems has led to questions regarding t...
read it
-
Counter-example Guided Learning of Bounds on Environment Behavior
There is a growing interest in building autonomous systems that interact...
read it
-
Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data
In this work, we propose a robust network-in-the-loop control system tha...
read it
-
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
Motivated by exploration of communication-constrained underground enviro...
read it
-
Risk-Averse Planning Under Uncertainty
We consider the problem of designing policies for partially observable M...
read it
-
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Rules or specifications for autonomous vehicles are currently formulated...
read it
-
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks
Reinforcement Learning (RL) algorithms have found limited success beyond...
read it
-
Detecting Adversarial Examples via Neural Fingerprinting
Deep neural networks are vulnerable to adversarial examples, which drama...
read it
-
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
Temporal logic based synthesis approaches are often used to find traject...
read it