Download learnlib-lstar JAR file with all dependencies
learnlib-lstar from group de.learnlib (version 0.13.0)
A flexible, optimized version of Dana Angluin's L* algorithm. This module provides access to the
original version of L*, extensions for Mealy machines, and variants with enhanced counterexample analysis (as
proposed by e.g. Maler & Pnueli and Rivest & Schapire).
Artifact learnlib-lstar
Group de.learnlib
Version 0.13.0
Last update 08. February 2018
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 12
Dependencies learnlib-api, learnlib-datastructure-ot, learnlib-counterexamples, learnlib-util, automata-api, automata-core, automata-commons-util, automata-util, buildergen, testng, learnlib-learning-examples, learnlib-learner-it-support,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.13.0
Last update 08. February 2018
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 12
Dependencies learnlib-api, learnlib-datastructure-ot, learnlib-counterexamples, learnlib-util, automata-api, automata-core, automata-commons-util, automata-util, buildergen, testng, learnlib-learning-examples, learnlib-learner-it-support,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)