A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.

Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop

Browse the full RV paper archive.