E. M. Hahn, M. Perez, S. Schewe, F. Somenzi, A. Trivedi, and D. Wojtczak, “Omega-Regular Decision Processes”, AAAI, vol. 38, no. 19, pp. 21125-21133, Mar. 2024.