TY  - RPRT
TI  - A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
AU  - Taoran Wu
AU  - Yiqing Yu
AU  - Bican Xia
AU  - Ji Wang
AU  - Bai Xue
PY  - 2024
UR  - https://arxiv.org/abs/2404.09007
ID  - 2404.09007
ER  -