Hahn, E. M.; Perez, M.; Schewe, S.; Somenzi, F.; Trivedi, A.; Wojtczak, D. Omega-Regular Decision Processes. AAAI 2024, 38, 21125-21133.