Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates

Published in Formal Methods in Computer-Aided Design (FMCAD'24), 2024