l

learnlib-adt

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis "Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus Frohme.
implementation distinguishing markus this active learning sequences 01139 master artifact with adaptive frohme provides thesis arxiv http automata 1902 algorithm described
Aggregated version Version Update time
0.17 0.17.0 Nov 15, 2023
0.16 0.16.0 Oct 12, 2020
0.15 0.15.0 Feb 06, 2020
0.14 0.14.0 Feb 18, 2019
0.13 0.13.1 May 11, 2018
0.13.0 Feb 08, 2018
6 Records