1. Albrecht, S.V., Christianos, F., Schäfer, L.: Multi-Agent Reinforcement Learning: Foundations and Modern Approaches. MIT Press, Cambridge (2023)
2. Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
3. Basset, N., Kwiatkowska, M., Wiltsche, C.: Compositional strategy synthesis for stochastic games with multiple objectives. IC 261(3), 536–587 (2018)
4. Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)
5. Chatterjee, K.: Stochastic $$\omega $$-Regular Games. Ph.D. thesis, University of California at Berkeley (2007)