52 citations · 217 across the 36 of their papers we have counts for
1 paper · 2 filters
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…