Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability

Christel Baier Nathalie Bertrand Marcus Größer Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability http://arxiv.org/abs/0907.4760 2009 CoRR abs/0907.4760 db/journals/corr/corr0907.html#abs-0907-4760 informal publication