A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. - Sai Rohan Harshavardhan Vuppala; Nathan Allen; Srinivas Pinisetty; Partha S. Roop (RV, 2024)