| Course | References | Lecture Notes | Problem Sets |
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