Download JAR files tagged by counterexamples with all dependencies
learnlib-counterexamples from group de.learnlib (version 0.17.0)
A collection of algorithms for handling counterexamples in automata learning
Group: de.learnlib Artifact: learnlib-counterexamples
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact learnlib-counterexamples
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies learnlib-api, automata-api, automata-commons-smartcollections, checker-qual, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies learnlib-api, automata-api, automata-commons-smartcollections, checker-qual, 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.
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!
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 2)