Artifacts using LearnLib :: Core (21)

Sort: popular | newest
Support classes for easily writing integration test cases for learning algorithms
Last Release on Feb 6, 2025
A collection of algorithms for handling counterexamples in automata learning
Last Release on Feb 6, 2025
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 Feb 6, 2025
A collection of basic algorithm for approximating equivalence queries
Last Release on Jun 4, 2015
A flexible, optimized version of Dana Angluin's L* algorithm
Last Release on Jun 4, 2015
Support for posing membership queries in parallel
Last Release on Feb 6, 2025
Common interfaces providing features supported by various learning algorithms
Last Release on Jun 4, 2015
Basic support for test driver creation
Last Release on Feb 6, 2025
A learning algorithm, which distinguishes hypothesis states using a discrimination tree.
Last Release on Oct 12, 2020