Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions - Long, Kehan; Cortes, Jorge; Atanasov, Nikolay (Advances in Neural Information Processing Systems, 2025)