TY  - RPRT
TI  - Unbounded-Time Safety Verification of Stochastic Differential Dynamics
AU  - Shenghua Feng
AU  - Mingshuai Chen
AU  - Bai Xue
AU  - Sriram Sankaranarayanan
AU  - Naijun Zhan
PY  - 2020
UR  - https://arxiv.org/abs/2006.01858
ID  - 2006.01858
ER  -