“... the controllability subset of a Rabin automaton (with respect to all three fairness notions...”
Get full text

“... are then computed using a product Markov Decision Process between the transition system and the Rabin automaton...”
Get full text