Provably Safe Reinforcement Learning for Stochastic Reach-Avoid Problems with Entropy Regularization
Not on the map. Why?
Abstract (arXiv)
We consider the problem of learning the optimal policy for Markov decision processes with safety constraints. We formulate the problem in a reach-avoid setup. Our goal is to design online reinforcement learning algorithms that ensure safety constraints with arbitrarily high probability during the learning phase. To this end, we first propose an algorithm based on the optimism in the face of uncertainty (OFU) principle. Based on the first algorithm, we propose our main algorithm, which utilizes entropy regularization. We investigate the finite-sample analysis of both algorithms and derive their regret bounds. We demonstrate that the inclusion of entropy regularization improves the regret and drastically controls the episode-to-episode variability that is inherent in OFU-based safe RL algorithms.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 15 of its 36 references that are in the map. First posted on arXiv 13 Jan 2026.
Builds on
15 of 36 references.
References · 15
- 2017Proximal Policy Optimization Algorithmscited by 14,441
- 2018Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actorcited by 4,635
- 2015Trust Region Policy Optimizationcited by 2,503
- 2017Constrained Policy Optimizationcited by 928
- 2017Safe Reinforcement Learning via Shieldingcited by 427
- 2017Unifying PAC and Regret: Uniform PAC Bounds for Episodic Reinforcement Learningcited by 175
- 2017A unified view of entropy-regularized Markov decision processescited by 174
- 2020Exploration-Exploitation in Constrained MDPscited by 146
- 2019Convergent Policy Optimization for Safe Reinforcement Learningcited by 55
- 2019Tight Regret Bounds for Model-Based Reinforcement Learning with Greedy Policiescited by 38
- 2021DOPE: Doubly Optimistic and Pessimistic Exploration for Safe Reinforcement Learningcited by 34
- 2023Provably Efficient Model-Free Algorithms for Non-stationary CMDPscited by 21
3 more
Built on by
Not cited yet.