-
Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty
When autonomous robots interact with humans, such as during autonomous d...
03/05/2021 ∙ by Richard Cheng, et al. ∙
0
∙
share
read it
-
Constrained Risk-Averse Markov Decision Processes
We consider the problem of designing policies for Markov decision proces...
12/04/2020 ∙ by Mohamadreza Ahmadi, et al. ∙
10
∙
share
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...
11/28/2020 ∙ by Karena X. Cai, et al. ∙
0
∙
share
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...
04/08/2020 ∙ by Prithvi Akella, et al. ∙
0
∙
share
read it
-
Counter-example Guided Learning of Bounds on Environment Behavior
There is a growing interest in building autonomous systems that interact...
01/20/2020 ∙ by Yuxiao Chen, et al. ∙
0
∙
share
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...
12/10/2019 ∙ by Francesca Baldini, et al. ∙
16
∙
share
read it
-
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems
Motivated by exploration of communication-constrained underground enviro...
11/19/2019 ∙ by Filip Klaesson, et al. ∙
0
∙
share
read it
-
Risk-Averse Planning Under Uncertainty
We consider the problem of designing policies for partially observable M...
09/27/2019 ∙ by Mohamadreza Ahmadi, et al. ∙
11
∙
share
read it
-
Towards Assume-Guarantee Profiles for Autonomous Vehicles
Rules or specifications for autonomous vehicles are currently formulated...
09/11/2019 ∙ by Tung Phan-Minh, et al. ∙
0
∙
share
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...
03/21/2019 ∙ by Richard Cheng, et al. ∙
0
∙
share
read it
-
Detecting Adversarial Examples via Neural Fingerprinting
Deep neural networks are vulnerable to adversarial examples, which drama...
03/11/2018 ∙ by Sumanth Dathathri, et al. ∙
0
∙
share
read it
-
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
Temporal logic based synthesis approaches are often used to find traject...
09/20/2017 ∙ by Sumanth Dathathri, et al. ∙
0
∙
share
read it
