Hahn, E. M., M. Perez, S. Schewe, F. Somenzi, A. Trivedi, and D. Wojtczak. “Omega-Regular Decision Processes”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 19, Mar. 2024, pp. 21125-33, doi:10.1609/aaai.v38i19.30105.