Active Automata Learning with Adaptive Distinguishing Sequences
Machine Learning
2019-02-05 v1 Machine Learning
Abstract
This document investigates the integration of adaptive distinguishing sequences into the process of active automata learning (AAL). A novel AAL algorithm "ADT" (adaptive discrimination tree) is developed and presented. Since the submission of the original thesis, the presented algorithm has been integrated into LearnLib - an open-source library for active automata learning - and has been successfully used in related fields of research.
Cite
@article{arxiv.1902.01139,
title = {Active Automata Learning with Adaptive Distinguishing Sequences},
author = {Markus Theo Frohme},
journal= {arXiv preprint arXiv:1902.01139},
year = {2019}
}
Comments
Master thesis, 97 pages. This document is closely based on the Master thesis of Markus Theo Frohme, submitted at TU Dortmund University, Germany on September 21st, 2015 and may be used as the reference for the "ADT" algorithm