Support classes for easily writing unit tests for various components of LearnLib

Support classes for easily writing integration test cases for learning algorithms

A collection of equivalence oracles

Caches to avoid posing duplicate membership queries

Data- and utility classes for Discrimination Trees

Module for data structures shared by multiple learning algorithms of LearnLib

This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular Sets from Queries and Counterexamples" (https://doi.org/10.1016/0890-5401(87)90052-6) by Dana Angluin including variations ...

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 ...

This artifact provides the implementations of various learning algorithms based on the "lazy partition refinement" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" ...

This artifact provides the implementation of the learning algorithm described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.

This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning" (https://doi.org/10.1007/978-3-319-11164-3_26) by Malte Isberner, ...