probabilistic-safety

Probabilistic Shielding for Safe Reinforcement Learning

at least some probability p. This framework comes from a probabilistic version of what is usually called the “safety” In real-life scenarios, a Reinforcement Learning (RL) agent aiming to maximise their reward, must often also behave in a fragment of Linear Temporal Logic (LTL) (...

ProSh: Probabilistic Shielding for Model-free Reinforcement Learning

not assume access to a simulator or environment abstraction, and Safety is a major concern in reinforcement learning (RL): we aim at is compatible with continuous environments. developing RL systems that not only perform optimally, but are also We also show that optimizing over s...

Data-Driven Synthesis of Probabilistic Controlled Invariant Sets for Linear MDPs