3 papers
cs.LG2022
Online Shielding for Reinforcement Learning
Bettina Könighofer, Julian Rudolf, Alexander Palmisano +2
Besides the recent impressive results on reinforcement learning (RL), safety is still one of the major research challenges in RL. RL is a machine-learning approach to determine nea…
cs.LO2020
Online Shielding for Stochastic Systems
Bettina Könighofer, Julian Rudolf, Alexander Palmisano +2
In this paper, we propose a method to develop trustworthy reinforcement learning systems. To ensure safety especially during exploration, we automatically synthesize a correct-by-c…
cs.LO2020
It's Time to Play Safe: Shield Synthesis for Timed Systems
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer +3
Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed safety properties given…