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