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.

Group: de.learnlib Artifact: learnlib-ttt
Show all versions Show documentation Show source

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!

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.

Group: de.learnlib Artifact: learnlib-oml
Show documentation Show source

0 downloads

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!

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.

Group: de.learnlib Artifact: learnlib-observation-pack
Show documentation Show source

0 downloads

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!

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.

Group: de.learnlib Artifact: learnlib-lstar
Show all versions Show documentation Show source

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!

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

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!

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

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!

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

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!

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

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!

learnlib-cache from group de.learnlib (version 0.17.0)

Caches to avoid posing duplicate membership queries

Group: de.learnlib Artifact: learnlib-cache
Show all versions Show documentation Show source

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!

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

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!

Page 3 from 7 (items total 66)