Controllability subsets of live Rabin automata
J.G. Thistle · 2005
The control of finite automata under modeling assumptions and specifications represented by Rabin acceptance conditions is considered. The controllability subset of an automaton-the set of states from which it can be controlled to the satisfaction of its specification-is characterized as a fixpoint of an operator on state subsets.>