Active Automata Learning with Adaptive Distinguishing Sequences
This work addresses efficiency improvements in automata learning for researchers and practitioners, but it appears incremental as it builds on existing methods with a new integration.
The paper tackled the problem of active automata learning by integrating adaptive distinguishing sequences, resulting in the development of the novel ADT algorithm, which has been implemented in the LearnLib library and applied in related research fields.
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.