Martin Tappler

L∗-based learning of Markov decision processes (extended version)

2021 · Formal Aspects of Computing

Abstract Automata learning techniques automatically generate systemmodels fromtest observations. Typically, these techniques fall into two categories: passive and active. On the one hand, passive learning assumes no interaction with the system under learning and uses …

Automata Learning meets Shielding

2022 · arXiv (Cornell University)

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 exploration in probabilistic and partially …