Dole K, Gupta A, Komp J, Krishna S, Trivedi A. Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements. AAAI [Internet]. 2023Jun.26 [cited 2024Aug.6];37(12):14792-800. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26728