Provably Safe Reinforcement Learning for Stochastic Reach-Avoid Problems with Entropy Regularization

Abhijit Mazumdar, Rafal Wisniewski, Manuela L. Bujorianu
1/13/2026
cs.LG

No confident code implementation found for this paper.

Abstract

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Cite this paper

@article{mazumdar2026provably,
  title  = {Provably Safe Reinforcement Learning for Stochastic Reach-Avoid Problems with Entropy Regularization},
  author = {Abhijit Mazumdar and Rafal Wisniewski and Manuela L. Bujorianu},
  year   = {2026},
  eprint = {2601.08646},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2601.08646v3}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2601.08646.svg)](https://codeofpaper.com/paper/2601.08646)

Discussion