Download de.learnlib JAR files with all dependencies
learnlib-ttt from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A
Redundancy-Free Approach to Active Automata Learning" (https://doi.org/10.1007/978-3-319-11164-3_26) by Malte
Isberner, Falk Howar, and Bernhard Steffen.
1 downloads
Artifact learnlib-ttt
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 15
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-util, guava, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 15
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-util, guava, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
learnlib-oml from group de.learnlib (version 0.17.0)
This artifact provides the implementations of various learning algorithms based on the "optimal MAT learning"
concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement"
(https://doi.org/10.1007/978-3-031-15629-8_17) by Falk Howar and Bernhard Steffen.
Artifact learnlib-oml
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, automata-api, automata-commons-util, automata-core, checker-qual, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, automata-api, automata-commons-util, automata-core, checker-qual, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
learnlib-observation-pack from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the Observation-Pack learning algorithm as described in the PhD
thesis "Active learning of interface programs" (http://dx.doi.org/10.17877/DE290R-4817) by Falk Howar.
Artifact learnlib-observation-pack
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-util, automata-api, automata-core, automata-commons-smartcollections, checker-qual, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-util, automata-api, automata-core, automata-commons-smartcollections, checker-qual, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
learnlib-lstar from group de.learnlib (version 0.17.0)
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" (http://dx.doi.org/10.1006/inco.1993.1021) by Ronald L. Rivest and Robert E. Schapire.
0 downloads
Artifact learnlib-lstar
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 13
Dependencies learnlib-api, learnlib-datastructure-ot, learnlib-counterexamples, learnlib-util, automata-api, automata-commons-util, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learning-examples, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 13
Dependencies learnlib-api, learnlib-datastructure-ot, learnlib-counterexamples, learnlib-util, automata-api, automata-commons-util, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learning-examples, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
learnlib-datastructure-ot from group de.learnlib (version 0.17.0)
Data- and utility classes for Observation Tables
Group: de.learnlib Artifact: learnlib-datastructure-ot
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact learnlib-datastructure-ot
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies learnlib-api, guava, automata-api, automata-core, automata-commons-util, automata-commons-smartcollections, checker-qual, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 8
Dependencies learnlib-api, guava, automata-api, automata-core, automata-commons-util, automata-commons-smartcollections, checker-qual, testng,
There are maybe transitive dependencies!
learnlib-kearns-vazirani from group de.learnlib (version 0.17.0)
This artifact provides the implementation of the learning algorithm described in the book "An Introduction to
Computational Learning Theory" by Michael Kearns and Umesh Vazirani.
Group: de.learnlib Artifact: learnlib-kearns-vazirani
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact learnlib-kearns-vazirani
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-util, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 12
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-util, automata-api, automata-commons-smartcollections, automata-core, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!
learnlib-algorithms-active-parent from group de.learnlib (version 0.17.0)
Parent module for (active) automata learning algorithms shipped with LearnLib
Group: de.learnlib Artifact: learnlib-algorithms-active-parent
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact learnlib-algorithms-active-parent
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
learnlib-algorithms-parent from group de.learnlib (version 0.17.0)
Parent module for automata learning algorithms shipped with LearnLib
Group: de.learnlib Artifact: learnlib-algorithms-parent
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact learnlib-algorithms-parent
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
learnlib-cache from group de.learnlib (version 0.17.0)
Caches to avoid posing duplicate membership queries
0 downloads
Artifact learnlib-cache
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, automata-api, automata-commons-util, automata-core, automata-incremental, automata-util, checker-qual, slf4j-api, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, automata-api, automata-commons-util, automata-core, automata-incremental, automata-util, checker-qual, slf4j-api, testng,
There are maybe transitive dependencies!
learnlib-datastructure-dt from group de.learnlib (version 0.17.0)
Data- and utility classes for Discrimination Trees
Group: de.learnlib Artifact: learnlib-datastructure-dt
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact learnlib-datastructure-dt
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 10
Dependencies learnlib-api, learnlib-datastructure-list, guava, automata-api, automata-commons-smartcollections, automata-commons-util, automata-util, checker-qual, learnlib-test-support, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 10
Dependencies learnlib-api, learnlib-datastructure-list, guava, automata-api, automata-commons-smartcollections, automata-commons-util, automata-util, checker-qual, learnlib-test-support, testng,
There are maybe transitive dependencies!
Page 3 from 7 (items total 66)