TY  - RPRT
TI  - Verifying Probabilistic Regions of Attraction with Neural Lyapunov Functions for Stochastic Systems
AU  - Yun Su
AU  - Hans De Sterck
AU  - Jun Liu
PY  - 2025
UR  - https://arxiv.org/abs/2508.21213
ID  - 2508.21213
ER  -