Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
Tiberiu-Andrei Georgescu, Alexander W. Goodall, Dalal Alrajeh +2
Shielding is widely used to enforce safety in reinforcement learning (RL), ensuring that an agent's actions remain compliant with formal specifications. Classical shielding approac…
cs.AI2023★ 2 cited
Approximate Shielding of Atari Agents for Safe Exploration
Alexander W. Goodall, Francesco Belardinelli
Balancing exploration and conservatism in the constrained setting is an important problem if we are to use reinforcement learning for meaningful tasks in the real world. In this pa…