Title
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models Milan Ganai Chiaki Hirayama Ya-Chien Chang Sicun Gao 24 6 0 03 Mar 2023
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields Mukun Tong Charles Dawson Chuchu Fan 38 29 0 25 Sep 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 82 36 0 26 May 2022
Reachability Constrained Reinforcement Learning Dongjie Yu Haitong Ma Sheng Li Jianyu Chen 61 54 0 16 May 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 106 171 0 14 Sep 2021
Safety Verification of Model Based Reinforcement Learning Controllers Akshita Gupta Inseok Hwang 14 5 0 21 Oct 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016