Yun Su, Hans De Sterck, Jun Liu. Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 6433-6438, IEEE, 2025. [doi]
Abstract is missing.