Download learnlib-lstar JAR file with all 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.
Artifact learnlib-lstar
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Tags: rivest schapire angluin oded counterexamples 0890 1021 artifact 1016 from https homing algorithm described based using including finite this maler 1070 thereof versions infinitary http optimizations inference learning learnability sequences robert 1995 paper 1993 provides variations regular dana inco sets implementation pnueli queries 90052 ronald such 1006 5401 amir automata
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
Tags: rivest schapire angluin oded counterexamples 0890 1021 artifact 1016 from https homing algorithm described based using including finite this maler 1070 thereof versions infinitary http optimizations inference learning learnability sequences robert 1995 paper 1993 provides variations regular dana inco sets implementation pnueli queries 90052 ronald such 1006 5401 amir automata
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)