[ZhangJ16] A space-efficient simulation algorithm on probabilistic automata Zhang, L. and Jansen, D. N. In Inf. Comput., 249: 138-159, 2016. doi.. Downloads: bibURL: http://dx.doi.org/10.1016/j.ic.2016.04.002