Foundations of active automata learning: an algorithmic perspective

Isberner, Malte2015-10-152015-10-152015http://hdl.handle.net/2003/3428210.17877/DE290R-16359enActive automata learningRegular inferenceVisibly pushdown automataTTTModel constructionBlack boxSpace optimal004Foundations of active automata learning: an algorithmic perspectivedoctoral thesis