TY  - RPRT
TI  - Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
AU  - Yiming Meng
AU  - Jun Liu
PY  - 2022
UR  - https://arxiv.org/abs/2205.01854
ID  - 2205.01854
ER  -