Leveraging Analytic Gradients in Provably Safe Reinforcement Learning

arXiv:2506.01665v4 Announce Type: replace-cross Abstract: The deployment of autonomous robots in safety-critical applications requires safety guarantees. Provably safe reinforcement learning is an active field of research that aims to provide such guarantees using safeguards. These safeguards...