10 citations · 10 across the 1 of their papers we have counts for
1 paper
Christel Baier, Nathalie Bertrand, Marcus Größer
Probabilistic omega-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite i…