119 citations · 170 across the 13 of their papers we have counts for
24 papers
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…
Automata Learning meets Shielding
Martin Tappler, Stefan Pranger, Bettina Könighofer +3
Safety is still one of the major research challenges in reinforcement learning (RL). In this paper, we address the problem of how to avoid safety violations of RL agents during exp…
Proving SIFA Protection of Masked Redundant Circuits
Vedad Hadzic, Robert Primas, Roderick Bloem
Implementation attacks like side-channel and fault attacks pose a considerable threat to cryptographic devices that are physically accessible by an attacker. As a consequence, devi…
TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Stefan Pranger, Bettina Könighofer, Lukas Posch +1
We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic e…
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…
Safety Synthesis Sans Specification
Roderick Bloem, Hana Chockler, Masoud Ebrahimi +2
We define the problem of learning a transducer from a target language containing possibly conflicting transducers, using membership queries and conjecture queries. The re…