Yun Su, Hans De Sterck, Jun Liu: Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems. CDC 2025: 6433-6438