Abstract: This work investigates the use of deep reinforcement learning to address the scheduling problem of identifying minimal control sequences while ensuring deadlock avoidance in transition-timed ...