Falah, A., Guha, S., & Trivedi, A. (2023). Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. Proceedings of the International Conference on Automated Planning and Scheduling, 33(1), 578-586. https://doi.org/10.1609/icaps.v33i1.27239