Search Results - "Palmisano, Alexander"

Online shielding for reinforcement learning by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

“…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…”
Get full text

Online Shielding for Reinforcement Learning by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

“…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…”
Get full text

Safety Shielding under Delayed Observation by Córdoba, Filip Cano, Palmisano, Alexander, Fränzle, Martin, Bloem, Roderick, Könighofer, Bettina

“…Agents operating in physical environments need to be able to handle delays in the input and output signals since neither data transmission nor sensing or…”
Get full text

Online Shielding for Stochastic Systems by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

“…In this paper, we propose a method to develop trustworthy reinforcement learning systems. To ensure safety especially during exploration, we automatically…”
Get full text

It's Time to Play Safe: Shield Synthesis for Timed Systems by Bloem, Roderick, Jensen, Peter Gjøl, Könighofer, Bettina, Larsen, Kim Guldstrand, Lorber, Florian, Palmisano, Alexander

“…Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed…”
Get full text