TY  - RPRT
TI  - Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability
AU  - Christel Baier
AU  - Nathalie Bertrand
AU  - Marcus Größer
PY  - 2009
DO  - 10.4204/eptcs.3.1
UR  - https://arxiv.org/abs/0907.4760
ID  - 0907.4760
ER  -