Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Download PDF
Open Webpage

Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett

Published: 01 Jan 2024, Last Modified: 13 May 2025FMCAD 2024EveryoneRevisionsBibTeXCC BY-SA 4.0