Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2024). Omega-Regular Decision Processes. Proceedings of the AAAI Conference on Artificial Intelligence, 38(19), 21125-21133. https://doi.org/10.1609/aaai.v38i19.30105