Indexed Artifacts (21.2M)

Popular Categories

Artifacts using LearnLib :: Test Support :: Learning Examples (23)

Sort: popular | newest
A collection of membership oracles
Last Release on Oct 12, 2020
Support classes for easily writing integration test cases for learning algorithms
Last Release on Oct 12, 2020
A collection of equivalence oracles
Last Release on Oct 12, 2020
Membership and equivalence oracles using an automaton model as backend
Last Release on Jun 4, 2015
Caches to avoid posing duplicate membership queries
Last Release on Oct 12, 2020
A collection of basic algorithm for approximating equivalence queries
Last Release on Jun 4, 2015
The RPNI passive learning algorithm
Last Release on Oct 12, 2020


A flexible, optimized version of Dana Angluin's L* algorithm
Last Release on Jun 4, 2015
A learning algorithm, which distinguishes hypothesis states using a discrimination tree.
Last Release on Oct 12, 2020
A flexible, optimized version of Dana Angluin's L* algorithm. This module provides access to the original version of L*, extensions for Mealy machines, and variants with enhanced counterexample analysis (as proposed by e.g. Maler & Pnueli and Rivest & Schapire).
Last Release on Oct 12, 2020