K. Dole, A. Gupta, J. Komp, S. Krishna, and A. Trivedi, “Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements”, AAAI, vol. 37, no. 12, pp. 14792-14800, Jun. 2023.