L*-Based Learning of Markov Decision Processes (Extended Version)

Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci +2

Automata learning techniques automatically generate system models from test observations. These techniques usually fall into two categories: passive and active. Passive learning us…