A space-efficient simulation algorithm on probabilistic automata

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

Abstract

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).

Cite

CITATION STYLE

APA

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