Omega-Regular Objectives in Model-Free Reinforcement Learning
E. M. Hahn, Mateo Perez, S. Schewe, F. Somenzi, Ashutosh Trivedi, D. Wojtczak
International Conference on Tools and Algorithms for Construction and Analysis of Systems