Dole, Kalyani, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, and Ashutosh Trivedi. 2023. “Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (12):14792-800. https://doi.org/10.1609/aaai.v37i12.26728.