Reinforcement learning with timed constraints for robotics motion planning. - Zhaoan Wang; Junchao Li; Mahdi Mohammad; Shaoping Xiao (CoRR, 2026)