"Probabilistic Automata on Finite Words: Decidable and Undecidable Problems."

Hugo Gimbert, Youssouf Oualhadj (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics