Dole, K., Gupta, A., Komp, J., Krishna, S., & 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), 14792-14800. https://doi.org/10.1609/aaai.v37i12.26728