Safety and Liveness Guarantees through Reach-Avoid Reinforcement
Learning

Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning

23 December 2021

Vicencc Rubies-Royo

ArXiv (abs)PDF HTML Github (24★)

Papers citing "Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning"

14 / 14 papers shown

Title
Tackling Decision Processes with Non-Cumulative Objectives using Reinforcement Learning Maximilian Nägele Jan Olle Thomas Fösel Remmy Zen Florian Marquardt 111 2 0 22 May 2024
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control Songyuan Zhang Oswin So Kunal Garg Chuchu Fan AI4CE 154 24 0 25 Jan 2024
DeepReach: A Deep Learning Approach to High-Dimensional Reachability Somil Bansal Claire Tomlin 95 156 0 04 Nov 2020
Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics Shuo Li Osbert Bastani 72 86 0 24 Oct 2019
Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding Osbert Bastani 60 9 0 25 May 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 98 403 0 15 Mar 2019
A Classification-based Approach for Approximate Reachability Vicencc Rubies-Royo David Fridovich-Keil Sylvia Herbert Claire Tomlin 62 37 0 08 Mar 2018
Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actor Tuomas Haarnoja Aurick Zhou Pieter Abbeel Sergey Levine 317 8,420 0 04 Jan 2018
A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems J. F. Fisac Anayo K. Akametalu Melanie Zeilinger Shahab Kaynama J. Gillula Claire Tomlin 65 498 0 03 May 2017
FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning Sylvia Herbert Mo Chen Soojean Han Somil Bansal J. F. Fisac Claire Tomlin 64 238 0 21 Mar 2017
Recursive Regression with Neural Networks: Approximating the HJI PDE Solution Vicencc Rubies-Royo Claire Tomlin 64 20 0 08 Nov 2016
OpenAI Gym Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang Wojciech Zaremba OffRL ODL 225 5,087 0 05 Jun 2016
Deep Reinforcement Learning with Double Q-learning H. V. Hasselt A. Guez David Silver OffRL 175 7,665 0 22 Sep 2015
Continuous control with deep reinforcement learning Timothy Lillicrap Jonathan J. Hunt Alexander Pritzel N. Heess Tom Erez Yuval Tassa David Silver Daan Wierstra 330 13,289 0 09 Sep 2015

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.