摘要 : Automata learning techniques automatically generate system models from test observations. Typically, these techniques fall into two categories: passive and active. On the one hand, passive learning assumes no interaction with the ... 展开 Automata learning techniques automatically generate system models from test 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 a predetermined training set, e.g., system logs. On the other hand, active learning techniques collect training data by actively querying the system under learning, allowing one to steer the discovery of meaningful information about the system under learning leading to effective learning strategies. A notable example of active learning technique for regular languages is Angluin's L*-algorithm. The L*-algorithm describes the strategy of a student who learns the minimal deterministic finite automaton of an unknown regular language L by asking a succinct number of queries to a teacher who knows L.In this work, we study L*-based learning of deterministic Markov decision processes, a class of Markov decision processes where an observation following an action uniquely determines a successor state. For this purpose, we first assume an ideal setting with a teacher who provides perfect information to the student. Then, we relax this assumption and present a novel learning algorithm that collects information by sampling execution traces of the system via testing.Experiments performed on an implementation of our sampling-based algorithm suggest that our method achieves better accuracy than state-of-the-art passive learning techniques using the same amount of test observations. In contrast to existing learning algorithms which assume a predefined number of states, our algorithm learns the complete model structure including the state space. 收起