mlsanityData to 7 Oct 2026

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis

arXiv 2312.11314 ↗First posted 18 Dec 2023cs.LG cs.LO cs.SYcited by 1

Not on the map. Why?

Abstract (arXiv)

This paper addresses the problem of maintaining safety during training in Reinforcement Learning (RL), such that the safety constraint violations are bounded at any point during learning. In a variety of RL applications the safety of the agent is particularly important, e.g. autonomous platforms or robots that work in proximity of humans. As enforcing safety during training might severely limit the agent's exploration, we propose here a new architecture that handles the trade-off between efficient progress and safety during exploration. As the exploration progresses, we update via Bayesian inference Dirichlet-Categorical models of the transition probabilities of the Markov decision process that describes the environment dynamics. This paper proposes a way to approximate moments of belief about the risk associated to the action selection policy. We construct those approximations, and prove the convergence results. We propose a novel method for leveraging the expectation approximations to derive an approximate bound on the confidence that the risk is below a certain level. This approach can be easily interleaved with RL and we present experimental results to showcase the performance of the overall architecture.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 19 of its 40 references that are in the map. First posted on arXiv 18 Dec 2023.

Builds on

19 of 40 references.

References · 19

  1. 2017Safe Reinforcement Learning via Shieldingcited by 427
  2. 2021Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learningcited by 337
  3. 2015Risk-Constrained Reinforcement Learning with Percentile Risk Criteriacited by 320
  4. 2018A Lyapunov-based Approach to Safe Reinforcement Learningcited by 278
  5. 2019End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Taskscited by 256
  6. 2019Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guaranteescited by 77
  7. 2016Safe Exploration in Finite Markov Decision Processes with Gaussian Processescited by 72
  8. 2018Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specificationscited by 69
  9. 2019Reinforcement Learning with Convex Constraintscited by 57
  10. 2018Logically-Constrained Reinforcement Learningcited by 50
  11. 2020Cautious Reinforcement Learning with Logical Constraintscited by 44
  12. 2021Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logiccited by 38
7 more
  1. 2014Safe Exploration of State and Action Spaces in Reinforcement Learningcited by 37
  2. 2019Certified Reinforcement Learning with Logic Guidancecited by 35
  3. 2019Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functionscited by 20
  4. 2018Logically-Constrained Neural Fitted Q-Iterationcited by 17
  5. 2021Shielding Atari Games with Bounded Presciencecited by 14
  6. 2020Towards Robust Data-Driven Control Synthesis for Nonlinear Systems with Actuation Uncertaintycited by 13
  7. 2019DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learningcited by 8

Built on by

Cited by year

Citing papers per year: 2024: 1.

1 paper.