ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers

16 June 2020

Papers citing "ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers"

25 / 25 papers shown

Title
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation Hanjiang Hu Yujie Yang Tianhao Wei Changliu Liu AAML 24 6 0 04 Oct 2024
Absolute State-wise Constrained Policy Optimization: High-Probability State-wise Constraints Satisfaction Weiye Zhao Feihan Li Yifan Sun Yujie Wang Rui Chen Tianhao Wei Changliu Liu 20 0 0 02 Oct 2024
ABNet: Attention BarrierNet for Safe and Scalable Robot Learning Wei Xiao Tsun-Hsuan Wang Daniela Rus OffRL 26 1 0 18 Jun 2024
Implicit Safe Set Algorithm for Provably Safe Reinforcement Learning Weiye Zhao Tairan He Feihan Li Changliu Liu 19 2 0 04 May 2024
Learning Input Constrained Control Barrier Functions for Guaranteed Safety of Car-Like Robots Sven Brüggemann Dominic Nightingale Jack Silberman Maurício de Oliveira 26 0 0 19 Feb 2024
Savvy: Trustworthy Autonomous Vehicles Architecture Ali Shoker Rehana Yasmin Paulo Esteves-Verissimo 18 0 0 08 Feb 2024
Safe Reinforcement Learning via Hierarchical Adaptive Chance-Constraint Safeguards Zhaorun Chen Zhuokai Zhao Tairan He Binhao Chen Xuhao Zhao Liang Gong Chengliang Liu 9 3 0 05 Oct 2023
Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis Ulices Santa Cruz Yasser Shoukry 13 3 0 10 Sep 2023
SafeDiffuser: Safe Planning with Diffusion Probabilistic Models Wei Xiao Tsun-Hsuan Wang Chuang Gan Daniela Rus DiffM 19 27 0 31 May 2023
ConBaT: Control Barrier Transformer for Safe Policy Learning Yue Meng Sai H. Vemprala Rogerio Bonatti Chuchu Fan Ashish Kapoor OffRL 35 3 0 07 Mar 2023
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge Mohanad Odema James Ferlez Yasser Shoukry Mohammad Abdullah Al Faruque 13 1 0 24 Feb 2023
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency Mohanad Odema James Ferlez Goli Vaisi Yasser Shoukry M. A. Al Faruque 11 3 0 13 Feb 2023
State-wise Safe Reinforcement Learning: A Survey Weiye Zhao Tairan He Rui Chen Tianhao Wei Changliu Liu 6 60 0 06 Feb 2023
AutoCost: Evolving Intrinsic Cost for Zero-violation Reinforcement Learning Tairan He Weiye Zhao Changliu Liu OffRL 19 17 0 24 Jan 2023
On the Forward Invariance of Neural ODEs Wei Xiao Tsun-Hsuan Wang Ramin Hasani Mathias Lechner Yutong Ban Chuang Gan Daniela Rus 26 11 0 10 Oct 2022
Probabilistic Safeguard for Reinforcement Learning Using Safety Index Guided Gaussian Process Models Weiye Zhao Tairan He Changliu Liu 33 21 0 03 Oct 2022
Differentiable Control Barrier Functions for Vision-based End-to-End Autonomous Driving Wei Xiao Tsun-Hsuan Wang Makram Chahine Alexander Amini Ramin Hasani Daniela Rus 20 26 0 04 Mar 2022
Learn Zero-Constraint-Violation Policy in Model-Free Constrained Reinforcement Learning Haitong Ma Changliu Liu Shengbo Eben Li Sifa Zheng Wen Sun Jianyu Chen 17 11 0 25 Nov 2021
BarrierNet: A Safety-Guaranteed Layer for Neural Networks Wei Xiao Ramin Hasani Xiao Li Daniela Rus 16 19 0 22 Nov 2021
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations Lars Lindemann Alexander Robey Lejun Jiang Satyajeet Das Stephen Tu Nikolai Matni 38 42 0 18 Nov 2021
Reactive and Safe Road User Simulations using Neural Barrier Certificates Yue Meng Zengyi Qin Chuchu Fan 29 20 0 14 Sep 2021
Provably Correct Training of Neural Network Controllers Using Reachability Analysis Xiaowu Sun Yasser Shoukry 6 7 0 22 Feb 2021
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems Alexander Robey Lars Lindemann Stephen Tu Nikolai Matni 26 38 0 16 Jan 2021
Learning Hybrid Control Barrier Functions from Data Lars Lindemann Haimin Hu Alexander Robey Hanwen Zhang Dimos V. Dimarogonas Stephen Tu Nikolai Matni 18 51 0 08 Nov 2020
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 70 308 0 22 May 2012