Falah, A., S. Guha, and A. Trivedi. “Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 33, no. 1, July 2023, pp. 578-86, doi:10.1609/icaps.v33i1.27239.