Dole, K., A. Gupta, J. Komp, S. Krishna, and A. Trivedi. “Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 12, June 2023, pp. 14792-00, doi:10.1609/aaai.v37i12.26728.