Download 3.9.3.jar JAR files with dependency

learnlib-emptiness-oracles from group de.learnlib (version 0.17.0)

A collection of emptiness oracles

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

0 downloads

Artifact learnlib-emptiness-oracles
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, learnlib-util, learnlib-annotation-processor, checker-qual, automata-api, learnlib-test-support, testng, mockito-core,
There are maybe transitive dependencies!

learnlib-drivers-basic from group de.learnlib (version 0.17.0)

Basic Test Driver Generation Support

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

0 downloads

Artifact learnlib-drivers-basic
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 6
Dependencies learnlib-api, automata-api, automata-commons-util, automata-core, checker-qual, testng,
There are maybe transitive dependencies!

learnlib-rpni-mdl from group de.learnlib (version 0.17.0)

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" (https://dx.doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García using the "minimum description length" (MDL) heuristic. More details on this algorithm can be found in the book "Grammatical Inference" (https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.

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

0 downloads

Artifact learnlib-rpni-mdl
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-pta, learnlib-rpni, automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!

learnlib-rpni-edsm from group de.learnlib (version 0.17.0)

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" (https://dx.doi.org/10.1142/9789812797902_0004) by Jose Oncina and Pedro García using the "evidence-driven state merging" (EDSM) heuristic. More details on this algorithm can be found in the book "Grammatical Inference" (https://doi.org/10.1017/CBO9781139194655) by Colin de la Higuera.

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

0 downloads

Artifact learnlib-rpni-edsm
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies learnlib-api, learnlib-datastructure-pta, learnlib-rpni, guava, automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!

learnlib-datastructure-pta from group de.learnlib (version 0.17.0)

Data- and utility classes for Prefix-Tree-Acceptors

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

0 downloads

Artifact learnlib-datastructure-pta
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 guava, automata-api, automata-commons-util, automata-core, automata-commons-smartcollections, automata-util, checker-qual, testng,
There are maybe transitive dependencies!

learnlib-ttt-vpa from group de.learnlib (version 0.17.0)

This artifact provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective" (https://dx.doi.org/10.17877/DE290R-16359) by Malte Isberner.

Group: de.learnlib Artifact: learnlib-ttt-vpa
Show documentation Show source

0 downloads

Artifact learnlib-ttt-vpa
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 11
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, learnlib-observation-pack-vpa, guava, automata-api, checker-qual, buildergen, learnlib-learner-it-support, testng,
There are maybe transitive dependencies!

learnlib-observation-pack-vpa from group de.learnlib (version 0.17.0)

This artifact provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective" (https://dx.doi.org/10.17877/DE290R-16359) by Malte Isberner.

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

0 downloads

Artifact learnlib-observation-pack-vpa
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-counterexamples, learnlib-datastructure-dt, learnlib-datastructure-list, guava, checker-qual, automata-api, automata-core, automata-commons-smartcollections, automata-commons-util, buildergen, learnlib-learner-it-support, 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-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!

Page 19136 from 53633 (items total 536327)