TY  - RPRT
TI  - Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
AU  - Udayan Mandal
AU  - Guy Amir
AU  - Haoze Wu
AU  - Ieva Daukantas
AU  - Fletcher Lee Newell
AU  - Umberto J. Ravaioli
AU  - Baoluo Meng
AU  - Michael Durling
AU  - Milan Ganai
AU  - Tobey Shim
AU  - Guy Katz
AU  - Clark Barrett
PY  - 2024
UR  - https://arxiv.org/abs/2405.14058
ID  - 2405.14058
ER  -