Artifacts using LearnLib :: Equivalence Tests :: Basic Tests (7)

Support classes for easily writing integration test cases for learning algorithms

A flexible, optimized version of Dana Angluin's L* algorithm

This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.

A learning algorithm, which distinguishes hypothesis states using a discrimination tree.

A collection of examples of how to use LearnLib

Archetype which includes all LearnLib dependencies

Archetype for a typical LearnLib setup, including the most commonly used dependencies