Active Automata Learning with Adaptive Distinguishing Sequences

TL;DR

This paper introduces a new adaptive automata learning algorithm called ADT, which incorporates adaptive distinguishing sequences, and demonstrates its successful integration into the LearnLib library for active automata learning.

Contribution

The paper presents a novel adaptive automata learning algorithm, ADT, that enhances active automata learning with adaptive distinguishing sequences and has been integrated into an open-source library.

Findings

ADT algorithm successfully integrated into LearnLib

The algorithm has been used in related research fields

Enhances active automata learning with adaptive techniques

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.