Group: LearnLib
Sort by:Popular

Group LearnLib Testsupport

2. LearnLib :: API42 usages

de.learnlib » learnlib-apiApache

Infrastructure and core interfaces of LearnLib
Last Release on Feb 6, 2025
Group LearnLib Tooling
A collection of membership oracles
Last Release on Feb 6, 2025
Infrastructure and core functionalities of LearnLib
Last Release on Jun 4, 2015

Relocated → de.learnlib » learnlib-api
A collection of utility methods for learning setups (oracle wrappers, etc.)
Last Release on Feb 6, 2025
A collection of algorithms for handling counterexamples in automata learning
Last Release on Feb 6, 2025
A collection of equivalence oracles
Last Release on Feb 6, 2025
Utilities for simulating SULs
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
Module for data structures shared by multiple learning algorithms of LearnLib
Last Release on Feb 6, 2025
Data- and utility classes for Discrimination Trees
Last Release on Nov 15, 2023
A collection of basic algorithm for approximating equivalence queries
Last Release on Jun 4, 2015
Functionality to ease writing test cases for LearnLib
Last Release on Dec 13, 2013
An abstract counterexample analysis framework
Last Release on Oct 12, 2020
Data- and utility classes for Lists
Last Release on Nov 15, 2023
Filters for collecting statistical data
Last Release on Feb 6, 2025
A flexible, optimized version of Dana Angluin's L* algorithm
Last Release on Jun 4, 2015
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 and optimizations thereof such as the versions based on "On the Learnability of Infinitary Regular Sets" (https://doi.org/10.1006/inco.1995.1070) by Oded Maler and Amir Pnueli or "Inference of finite automata using homing sequences" ...
Last Release on Feb 6, 2025