Fixed point guided abstraction refinement for alternating automata | Publicación