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), pp. 14792-14800. doi: 10.1609/aaai.v37i12.26728.