Reach-avoid Analysis for Stochastic Discrete-time Systems | IEEE Conference Publication | IEEE Xplore