Assertion: muller automaton | /r/HasProperty | set of q
Facets:
Source sentences:
text: A Muller automaton is an ω-automaton A that uses the following acceptance condition, for a subset F of P(Q) (the power set of Q):