Joint Differentiable Optimization and Verification for Certified
Reinforcement Learning

Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

28 January 2022

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

14 / 14 papers shown

Title
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 31 0 0 23 Apr 2025
Inverse Delayed Reinforcement Learning S. Zhan Qingyuan Wu Zhian Ruan Frank Yang Philip Wang Yixuan Wang Ruochen Jiao Chao Huang Qi Zhu 65 0 0 04 Dec 2024
Model-Based Reward Shaping for Adversarial Inverse Reinforcement Learning in Stochastic Environments S. Zhan Qingyuan Wu Philip Wang Yixuan Wang Ruochen Jiao Chao Huang Qi Zhu 39 1 0 04 Oct 2024
Variational Delayed Policy Optimization Qingyuan Wu S. Zhan Yixuan Wang Yuhui Wang Chung-Wei Lin Chen Lv Qi Zhu Chao Huang OffRL 48 4 0 23 May 2024
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 57 15 0 11 Apr 2024
Boosting Reinforcement Learning with Strongly Delayed Feedback Through Auxiliary Short Delays Qingyuan Wu S. Zhan Yixuan Wang Yuhui Wang Chung-Wei Lin Chen Lv Qi Zhu Jürgen Schmidhuber Chao Huang OffRL 71 1 0 05 Feb 2024
Empowering Autonomous Driving with Large Language Models: A Safety Perspective Yixuan Wang Ruochen Jiao Sinong Simon Zhan Chengtian Lang Chao Huang Zhaoran Wang Zhuoran Yang Qi Zhu 45 27 0 28 Nov 2023
State-Wise Safe Reinforcement Learning With Pixel Observations S. Zhan Yixuan Wang Qingyuan Wu Ruochen Jiao Chao Huang Qi Zhu 51 10 0 03 Nov 2023
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments Yixuan Wang S. Zhan Ruochen Jiao Zhilu Wang Wanxin Jin Zhuoran Yang Zhaoran Wang Chao Huang Qi Zhu 32 48 0 29 Sep 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 49 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 34 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 41 15 0 22 Jan 2022
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression John Jackson Luca Laurenti Eric Frew Morteza Lahijanian 29 16 0 31 Dec 2021
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 120 173 0 14 Sep 2021