TY  - RPRT
TI  - Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics
AU  - Peter Du
AU  - Katherine Driggs-Campbell
AU  - Roy Dong
PY  - 2022
UR  - https://arxiv.org/abs/2104.04892
ID  - 2104.04892
ER  -