Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Stability and Complexity of Minimising Probabilistic Automata


Stefan Kiefer and Björn Wachter. Stability and complexity of minimising probabilistic automata. Technical report,, May 2014. Available at


We consider the state-minimisation problem for weighted and probabilistic automata. We provide a numerically stable polynomial-time minimisation algorithm for weighted automata, with guaranteed bounds on the numerical error when run with floating-point arithmetic. Our algorithm can also be used for lossy minimisation with bounded error. We show an application in image compression. In the second part of the paper we study the complexity of the minimisation problem for probabilistic automata. We prove that the problem is NP-hard and in PSPACE, improving a recent EXPTIME-result.

Suggested BibTeX entry:

    author = {Stefan Kiefer and Bj{\"o}rn Wachter},
    institution = {},
    month = {May},
    note = {Available at},
    title = {Stability and Complexity of Minimising Probabilistic Automata},
    year = {2014}

See ...
Conference version