@article{long2025certifying,
  title={Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions},
  author={Long, Kehan and Cort{\'e}s, Jorge and Atanasov, Nikolay},
  journal={arXiv preprint arXiv:2505.10947},
  year={2025}
}