Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates

Chengxiao Wang, Haoze Wu, Gagandeep Singh

Neural Lyapunov and barrier certificates have recently been used as powerful tools for verifying the safety and stability properties of deep reinforcement learning (RL) controllers…