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

Download JAR files tagged by angluin with all dependencies

Search JAR files by class name

learnlib-lstar-baseline from group de.learnlib (version 0.12.0)

A simple, straightforward implementation of Dana Angluin's L* algorithm

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

0 downloads
Artifact learnlib-lstar-baseline
Group de.learnlib
Version 0.12.0
Last update 04. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 10
Dependencies learnlib-core, learnlib-algorithm-features, automata-api, automata-core, automata-util, testng, learnlib-learning-examples, learnlib-learner-it-support, jsr305, buildergen,
There are maybe transitive dependencies!

learnlib-lstar-generic from group de.learnlib (version 0.12.0)

A flexible, optimized version of Dana Angluin's L* algorithm

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

0 downloads
Artifact learnlib-lstar-generic
Group de.learnlib
Version 0.12.0
Last update 04. June 2015
Organization not specified
URL Not specified
License not specified
Dependencies amount 10
Dependencies learnlib-core, learnlib-algorithm-features, learnlib-counterexamples, automata-api, automata-core, automata-util, buildergen, testng, learnlib-learning-examples, learnlib-learner-it-support,
There are maybe transitive dependencies!

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

This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.

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

0 downloads
Artifact learnlib-nlstar
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, learnlib-util, automata-api, automata-core, automata-util, checker-qual, buildergen, learnlib-learner-it-support, 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!



Page 1 from 1 (items total 4)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy