Undecidable problems for probabilistic automata of fixed dimension (2008)

by V D Blondel, V Canterini
Venue:Theory of Computing Systems