150 citations · 548 across the 51 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LG2022
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…
cs.FL2022
Efficient Monitoring of Timed Properties
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen +1
In this paper we study monitoring of real-time systems with respect to properties given by a pair of Timed Büchi Automata, one for the property and one for its complement. This inc…