Safety Certification for Stochastic Systems via Neural Barrier Functions

3 June 2022

Papers citing "Safety Certification for Stochastic Systems via Neural Barrier Functions"

5 / 5 papers shown

Title
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 52 15 0 11 Apr 2024
Safe Distributed Control of Multi-Robot Systems with Communication Delays Luca Ballotta Rajat Talak AI4CE 26 1 0 14 Feb 2024
Efficient Exploration Using Extra Safety Budget in Constrained Policy Optimization Haotian Xu Shengjie Wang Zhaolei Wang Yunzhe Zhang Qing Zhuo Yang Gao Tao Zhang 18 0 0 28 Feb 2023
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 24 21 0 11 Oct 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 120 173 0 14 Sep 2021