Publication

[ZhangJ16] A space-efficient simulation algorithm on probabilistic automata Zhang, L. and Jansen, D. N. In Inf. Comput., 249: 138-159, 2016.Downloads: bib