MSACL: Multi-Step Actor-Critic Learning with Lyapunov Certificates for Exponentially Stabilizing Control. - Yongwei Zhang; Yuanzhe Xing; Quan Quan; Zhikun She (CoRR, 2025)