Artifacts using learnlib-learning-examples version 0.11.2

Support classes for easily writing integration test cases for learning algorithms

Membership and equivalence oracles using an automaton model as backend

Caches to avoid posing duplicate membership queries

A collection of basic algorithm for approximating equivalence queries

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.

Basic support for test driver creation

A simple, straightforward implementation of Dana Angluin's L* algorithm