Dole, K.; Gupta, A.; Komp, J.; Krishna, S.; Trivedi, A. Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI 2023, 37, 14792-14800.