Safety and Liveness Guarantees through Reach-Avoid Reinforcement
Learning

Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning

23 December 2021

Vicencc Rubies-Royo

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

19 / 19 papers shown

Title
Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability Boyang Li Zheng Gong Sylvia Herbert 26 0 0 14 May 2025
Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis Zeyuan Feng Le Qiu Somil Bansal 35 0 0 04 May 2025
Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety Jason J. Choi Jasmine Jerry Aloor Jingqi Li Maria G. Mendoza H. Balakrishnan Claire J. Tomlin 33 0 0 04 May 2025
Uncertainty-aware Latent Safety Filters for Avoiding Out-of-Distribution Failures Junwon Seo Kensuke Nakamura Andrea V. Bajcsy 56 0 0 01 May 2025
A learning-based approach to stochastic optimal control under reach-avoid constraint Tingting Ni Maryam Kamgarpour 85 0 0 21 Dec 2024
Robots that Suggest Safe Alternatives Hyun Joe Jeong Andrea V. Bajcsy Andrea Bajcsy OffRL 50 1 0 15 Sep 2024
Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey Milan Ganai Sicun Gao Sylvia Herbert 42 6 0 12 Jul 2024
Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion Tairan He Chong Zhang Wenli Xiao Guanqi He Changliu Liu Guanya Shi 47 59 0 31 Jan 2024
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control Songyuan Zhang Oswin So Kunal Garg Chuchu Fan AI4CE 51 22 0 25 Jan 2024
State-Wise Safe Reinforcement Learning With Pixel Observations S. Zhan Yixuan Wang Qingyuan Wu Ruochen Jiao Chao Huang Qi Zhu 48 10 0 03 Nov 2023
VBOC: Learning the Viability Boundary of a Robot Manipulator using Optimal Control Asia La Rocca Matteo Saveriano Andrea Del Prete 18 3 0 12 May 2023
ISAACS: Iterative Soft Adversarial Actor-Critic for Safety Kai Hsu D. Nguyen J. F. Fisac 23 30 0 06 Dec 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 48 11 0 11 Oct 2022
Reachability Constrained Reinforcement Learning Dongjie Yu Haitong Ma Sheng Li Jianyu Chen 63 55 0 16 May 2022
Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning Jingqi Li Donggun Lee Somayeh Sojoudi Claire Tomlin 21 11 0 18 Mar 2022
Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees Kai Hsu Allen Z. Ren D. Nguyen Anirudha Majumdar J. F. Fisac OffRL 26 41 0 20 Jan 2022
Safe Autonomous Racing via Approximate Reachability on Ego-vision Bingqing Chen Jonathan M Francis Jean Oh Eric Nyberg Sylvia Herbert 59 14 0 14 Oct 2021
Continuous-Time Fitted Value Iteration for Robust Policies M. Lutter Boris Belousov Shie Mannor Dieter Fox Animesh Garg Jan Peters 10 9 0 05 Oct 2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis Xiaowu Sun Yasser Shoukry 22 7 0 22 Feb 2021