Constrained Meta Reinforcement Learning with Provable Test-Time Safety
Tingting Ni, Maryam Kamgarpour
TL;DR
This work addresses safe learning across a distribution of CMDPs by proposing a constrained meta-RL framework that leverages offline training to enable safe, rapid adaptation at test time. The method builds a covering CMDP set $\mathcal{U}$ and a simultaneously feasible policy $\pi_s$ during training, and then uses an adaptive mixture of $\pi_s$ with near-optimal candidates from $\mathcal{U}$ during testing to ensure safety while approaching near-optimal rewards. The authors prove high-probability safety guarantees and derive a data-dependent sample complexity bound $\tilde{\mathcal{O}}\left(\xi^{-2}\varepsilon^{-2}(1-\gamma)^{-5}\mathcal{C}_{\xi\varepsilon(1-\gamma)^3}(\mathcal{D},\delta)\right)$, along with a matching problem-dependent lower bound, establishing near-optimality. Empirical results on a gridworld task demonstrate improved learning efficiency and safe exploration compared to constrained RL baselines and a constrained meta-RL baseline, highlighting practical impact for safety-critical robotics and healthcare settings.
Abstract
Meta reinforcement learning (RL) allows agents to leverage experience across a distribution of tasks on which the agent can train at will, enabling faster learning of optimal policies on new test tasks. Despite its success in improving sample complexity on test tasks, many real-world applications, such as robotics and healthcare, impose safety constraints during testing. Constrained meta RL provides a promising framework for integrating safety into meta RL. An open question in constrained meta RL is how to ensure the safety of the policy on the real-world test task, while reducing the sample complexity and thus, enabling faster learning of optimal policies. To address this gap, we propose an algorithm that refines policies learned during training, with provable safety and sample complexity guarantees for learning a near optimal policy on the test tasks. We further derive a matching lower bound, showing that this sample complexity is tight.
