Summary of Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates, by Udayan Mandal et al.
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificatesby Udayan Mandal, Guy Amir, Haoze…