Falah, A.; Guha, S.; Trivedi, A. Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. ICAPS 2023, 33, 578-586.