Download learnlib-lstar JAR file with all dependencies
learnlib-lstar from group de.learnlib (version 0.16.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.
Artifact learnlib-lstar
Group de.learnlib
Version 0.16.0
Last update 12. October 2020
Tags: counterexample with module dana pnueli provides schapire maler analysis enhanced flexible access extensions rivest machines algorithm version optimized mealy original variants proposed angluin this
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.16.0
Last update 12. October 2020
Tags: counterexample with module dana pnueli provides schapire maler analysis enhanced flexible access extensions rivest machines algorithm version optimized mealy original variants proposed angluin this
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 1)