Foundations of active automata learning: an algorithmic perspective

Steffen, BernhardIsberner, Malte2015-10-152015-10-152015http://hdl.handle.net/2003/34282http://dx.doi.org/10.17877/DE290R-16359enActive automata learningRegular inferenceVisibly pushdown automataTTTModel constructionBlack boxSpace optimal004Foundations of active automata learning: an algorithmic perspectiveText