Hahn, Ernst Moritz, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, and Dominik Wojtczak. 2024. “Omega-Regular Decision Processes”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (19):21125-33. https://doi.org/10.1609/aaai.v38i19.30105.