Group: LearnLib
2. LearnLib :: API42 usages
de.learnlib » learnlib-apiApache
Infrastructure and core interfaces of LearnLib
Last Release on Feb 6, 2025
4. LearnLib :: Oracles :: Membership Oracles23 usages
de.learnlib » learnlib-membership-oraclesApache
A collection of membership oracles
Last Release on Feb 6, 2025
5. LearnLib :: Core21 usages
de.learnlib » learnlib-coreApache
Infrastructure and core functionalities of LearnLib
Last Release on Jun 4, 2015
Relocated → de.learnlib »
learnlib-api
6. LearnLib :: Commons :: Util19 usages
de.learnlib » learnlib-utilApache
A collection of utility methods for learning setups (oracle wrappers, etc.)
Last Release on Feb 6, 2025
7. LearnLib :: Commons :: Counterexamples15 usages
de.learnlib » learnlib-counterexamplesApache
A collection of algorithms for handling counterexamples in automata learning
Last Release on Feb 6, 2025
8. LearnLib :: Oracles :: Equivalence Oracles14 usages
de.learnlib » learnlib-equivalence-oraclesApache
A collection of equivalence oracles
Last Release on Feb 6, 2025
9. LearnLib :: Drivers :: Simulator12 usages
de.learnlib » learnlib-drivers-simulatorApache
Utilities for simulating SULs
Last Release on Feb 6, 2025
10. LearnLib :: Simulator11 usages
de.learnlib » learnlib-simulatorApache
Membership and equivalence oracles using an automaton model as backend
Last Release on Jun 4, 2015
11. LearnLib :: Filters :: Cache10 usages
de.learnlib » learnlib-cacheApache
Caches to avoid posing duplicate membership queries
Last Release on Feb 6, 2025
12. LearnLib :: Commons :: Datastructures9 usages
de.learnlib » learnlib-datastructuresApache
Module for data structures shared by multiple learning algorithms of LearnLib
Last Release on Feb 6, 2025
13. LearnLib :: Datastructures :: Discrimination Tree9 usages
de.learnlib » learnlib-datastructure-dtApache
Data- and utility classes for Discrimination Trees
Last Release on Nov 15, 2023
14. LearnLib :: Equivalence Tests :: Basic Tests7 usages
de.learnlib » learnlib-basic-eqtestsApache
A collection of basic algorithm for approximating equivalence queries
Last Release on Jun 4, 2015
15. LearnLib :: Test Support7 usages
de.learnlib » learnlib-test-supportLGPL
Functionality to ease writing test cases for LearnLib
Last Release on Dec 13, 2013
16. LearnLib :: Commons :: Abstract Counterexamples6 usages
de.learnlib » learnlib-acexApache
An abstract counterexample analysis framework
Last Release on Oct 12, 2020
17. LearnLib :: Datastructures :: List6 usages
de.learnlib » learnlib-datastructure-listApache
Data- and utility classes for Lists
Last Release on Nov 15, 2023
18. LearnLib :: Filters :: Statistics5 usages
de.learnlib » learnlib-statisticsApache
Filters for collecting statistical data
Last Release on Feb 6, 2025
19. LearnLib :: Algorithms :: Generic L*5 usages
de.learnlib » learnlib-lstar-genericApache
A flexible, optimized version of Dana Angluin's L* algorithm
Last Release on Jun 4, 2015
20. LearnLib :: Algorithms :: L*4 usages
de.learnlib » learnlib-lstarApache
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