# Active Automata Learning with Adaptive Distinguishing Sequences

arXiv: https://arxiv.org/abs/1902.01139 · HTML: https://mlsanity.com/paper/1902.01139/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 4 Feb 2019.

## Built on by (most cited first, 1 of 1)

- [Unsupervised Automata Learning via Discrete Optimization](https://mlsanity.com/paper/2303.14111/) (2023)

## Abstract (arXiv)

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.