All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download learnlib-ttt JAR file with all dependencies

Search JAR files by class name

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 documentation Show source 
 

1 downloads
Artifact learnlib-ttt
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Tags: malte bernhard 11164 implementation this 3_26 active learning howar approach artifact steffen 1007 isberner paper falk provides redundancy https free automata algorithm described
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 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy