A space-efficient simulation algorithm on probabilistic automata

Citations of this article
Mendeley users who have this article in their library.
Get full text


In the context of probabilistic automata, time-efficient algorithms for simulation have been proposed lately. The space complexity thereof is quadratic in the size of the transition relation, thus space requirements often become the practical bottleneck. In this paper, we propose a space-efficient algorithm for computing simulation based on partition refinement. Experimental evidence is given showing that not only the space efficiency is improved drastically: The experiments often require orders of magnitude less time. In practice, they are even faster than the (asymptotically) optimal algorithm by Crafa and Ranzato (2012).




Zhang, L., & Jansen, D. N. (2016). A space-efficient simulation algorithm on probabilistic automata. Information and Computation, 249, 138–159. https://doi.org/10.1016/j.ic.2016.04.002

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free