Automata, Games, and Verification – References

• Complementation of Büchi automata: Orna Kupferman and Moshe Y. Vardi, Weak alternating automata are not that weak, ACM Transactions on Computational Logic

• Alternating tree automata and branching-time logics: Orna Kupferman, Moshe Y. Vardi, and Pierre Wolper, An automata theoretic approach to branching time model checking, CAV 1994