1. Velasquez, A., Alkhouri, I., Beckus, A., Trivedi, A., & Atia, G.(2022). Controller synthesis for omega-regular and steady-state specifications. In Proceedings of the 21st international conference on autonomous agents and multiagent systems (pp. 1310–1318).
2. Thomas, W. (1990). Handbook of theoretical computer science (pp. 133–191). Chap. Automata on Infinite Objects.
3. Perrin, D., & Pin, J. (2004). Infinite words: Automata, semigroups, logic and games. Academic Press.
4. Vardi, M. (2011). The rise and fall of linear time logic. In 2nd International Symposium on Games, Automata, Logics and Formal Verification.
5. de Alfaro, L. (1998). Formal verification of probabilistic systems. (Ph.D. Thesis, Stanford University).