Therefore, this work investigates the relationship between alternating omega-automata and symbolically represented nondeterministic omega-automata.
We identify classes of alternating omega-automata that are as expressive as safety, liveness and deterministic prefix automata, respectively.