Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.14058
Cited By
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
22 May 2024
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
Umberto Ravaioli
Baoluo Meng
Michael Durling
Milan Ganai
Tobey Shim
Guy Katz
Clark W. Barrett
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates"
7 / 7 papers shown
Title
Shield Synthesis for LTL Modulo Theories
Andoni Rodríguez
Guy Amir
Davide Corsi
César Sánchez
Guy Katz
76
6
0
17 Feb 2025
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models
Milan Ganai
Chiaki Hirayama
Ya-Chien Chang
Sicun Gao
26
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
48
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
94
37
0
26 May 2022
Reachability Constrained Reinforcement Learning
Dongjie Yu
Haitong Ma
Sheng Li
Jianyu Chen
63
54
0
16 May 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Charles Dawson
Zengyi Qin
Sicun Gao
Chuchu Fan
120
172
0
14 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
231
1,837
0
03 Feb 2017
1
