TY - RPRT TI - Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions AU - Kehan Long AU - Jorge Cortés AU - Nikolay Atanasov PY - 2026 UR - https://arxiv.org/abs/2505.10947 ID - 2505.10947 ER -