Undecidable Problems for Probabilistic Automata of Fixed Dimension

Vincent D. Blondel, Vincent Canterini. Undecidable Problems for Probabilistic Automata of Fixed Dimension. Theory Comput. Syst., 36(3):231-245, 2003. [doi]

Abstract

Abstract is missing.