Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. - Amin Falah; Shibashis Guha; Ashutosh Trivedi 001 (ICAPS, 2023)

Continuous-Time Reward Machines. - Amin Falah; Shibashis Guha; Ashutosh Trivedi 001 (IJCAI, 2025)