Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

28 January 2022

Papers citing "Joint Differentiable Optimization and Verification for Certified Reinforcement Learning"

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 35 14 0 11 Apr 2024
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 34 18 0 26 Mar 2022
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner Xiangguo Liu Chao Huang Yixuan Wang Bowen Zheng Qi Zhu 27 19 0 22 Jan 2022
Safety-driven Interactive Planning for Neural Network-based Lane Changing Xiangguo Liu Ruochen Jiao Bowen Zheng Davis Liang Qi Zhu 28 15 0 22 Jan 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 109 171 0 14 Sep 2021