Bernhard K. Aichernig

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 …