Group: LearnLib

Sort: popular | newest
Group LearnLib Testsupport

2. LearnLib :: API38 usages

de.learnlib » learnlib-apiApache

Infrastructure and core interfaces of LearnLib
Last Release on Nov 15, 2023
Infrastructure and core functionalities of LearnLib
Last Release on Jun 4, 2015

Relocated → de.learnlib » learnlib-api
A collection of membership oracles
Last Release on Nov 15, 2023
A collection of utility methods for learning setups (oracle wrappers, etc.)
Last Release on Nov 15, 2023
A collection of algorithms for handling counterexamples in automata learning
Last Release on Nov 15, 2023
A collection of equivalence oracles
Last Release on Nov 15, 2023
Membership and equivalence oracles using an automaton model as backend
Last Release on Jun 4, 2015
Data- and utility classes for Discrimination Trees
Last Release on Nov 15, 2023
Utilities for simulating SULs
Last Release on Nov 15, 2023
Caches to avoid posing duplicate membership queries
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
Data- and utility classes for Lists
Last Release on Nov 15, 2023
An abstract counterexample analysis framework
Last Release on Oct 12, 2020
Group LearnLib Tooling
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://dx.doi.org/10.1006/inco.1995.1070) by Oded Maler and Amir Pnueli or "Inference of finite automata using homing sequences" ...
Last Release on Nov 15, 2023
Annotations and processors for the LearnLib build process
Last Release on Oct 12, 2020
Filters for collecting statistical data
Last Release on Nov 15, 2023