Download JAR files tagged by isberner with all dependencies

Search JAR files by class name

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

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

0 downloads

Artifact learnlib-ttt-vpa
Group de.learnlib
Version 0.17.0

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

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

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!

Page 1 from 1 (items total 3)