TY  - RPRT
TI  - Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
AU  - Bai Xue
PY  - 2026
UR  - https://arxiv.org/abs/2408.15572
ID  - 2408.15572
ER  -