Dole, K., Gupta, A., Komp, J., Krishna, S. and Trivedi, A. 2023. Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. Proceedings of the AAAI Conference on Artificial Intelligence. 37, 12 (Jun. 2023), 14792-14800. DOI:https://doi.org/10.1609/aaai.v37i12.26728.