LGAIROJun 2, 2025

Leveraging Analytic Gradients in Provably Safe Reinforcement Learning

arXiv:2506.01665v31 citationsh-index: 5IEEE Open Journal of Control Systems
Originality Incremental advance
AI Analysis

This work addresses safety-critical deployment for autonomous robots, providing a novel safeguard for a high-performance learning method, though it is incremental as it adapts existing safeguards.

The paper tackles the lack of safety guarantees in analytic gradient-based reinforcement learning by developing the first effective safeguard for this paradigm, demonstrating safeguarded training without performance loss across three control tasks.

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 should be integrated during training to reduce the sim-to-real gap. While there are several approaches for safeguarding sampling-based reinforcement learning, analytic gradient-based reinforcement learning often achieves superior performance from fewer environment interactions. However, there is no safeguarding approach for this learning paradigm yet. Our work addresses this gap by developing the first effective safeguard for analytic gradient-based reinforcement learning. We analyse existing, differentiable safeguards, adapt them through modified mappings and gradient formulations, and integrate them into a state-of-the-art learning algorithm and a differentiable simulation. Using numerical experiments on three control tasks, we evaluate how different safeguards affect learning. The results demonstrate safeguarded training without compromising performance. Additional visuals are provided at \href{https://timwalter.github.io/safe-agb-rl.github.io}{timwalter.github.io/safe-agb-rl.github.io}.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes