All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download learnlib-adt JAR 0.13.1 with all dependencies


    This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis "Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus Frohme.

    Files of the artifact learnlib-adt version 0.13.1 from the group de.learnlib.

    Test

    Download learnlib-adt (0.13.1)
    Artifact learnlib-adt
    Group de.learnlib
    Version 0.13.1
    Last update 11. May 2018
    Organization not specified
    URL Not specified
    License not specified
    Dependencies amount 15
    Dependencies learnlib-api, learnlib-counterexamples, learnlib-util, guava, automata-api, automata-commons-smartcollections, automata-core, automata-util, automata-commons-util, checker-qual, slf4j-api, buildergen, learnlib-learner-it-support, learnlib-learning-examples, testng,
    There are maybe transitive dependencies!
    There is a newer version: 0.18.0
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of learnlib-adt Show documentation

    Please rate this JAR file. Is it a good library?

    3 downloads

    Source code of learnlib-adt version 0.13.1

    META-INF
    META-INF.META-INF.MANIFEST.MF
    META-INF.maven.de.learnlib.learnlib-adt
    META-INF.maven.de.learnlib.learnlib-adt.META-INF.maven.de.learnlib.learnlib-adt.pom.properties
    META-INF.maven.de.learnlib.learnlib-adt.META-INF.maven.de.learnlib.learnlib-adt.pom.xml
    de.learnlib.algorithms.adt.ads
    de.learnlib.algorithms.adt.ads.de.learnlib.algorithms.adt.ads.DefensiveADS
    de.learnlib.algorithms.adt.adt
    de.learnlib.algorithms.adt.adt.de.learnlib.algorithms.adt.adt.ADT
    de.learnlib.algorithms.adt.adt.de.learnlib.algorithms.adt.adt.ADTLeafNode
    de.learnlib.algorithms.adt.adt.de.learnlib.algorithms.adt.adt.ADTNode
    de.learnlib.algorithms.adt.adt.de.learnlib.algorithms.adt.adt.ADTResetNode
    de.learnlib.algorithms.adt.adt.de.learnlib.algorithms.adt.adt.ADTSymbolNode
    de.learnlib.algorithms.adt.api
    de.learnlib.algorithms.adt.api.de.learnlib.algorithms.adt.api.ADTExtender
    de.learnlib.algorithms.adt.api.de.learnlib.algorithms.adt.api.LeafSplitter
    de.learnlib.algorithms.adt.api.de.learnlib.algorithms.adt.api.PartialTransitionAnalyzer
    de.learnlib.algorithms.adt.api.de.learnlib.algorithms.adt.api.SubtreeReplacer
    de.learnlib.algorithms.adt.automaton
    de.learnlib.algorithms.adt.automaton.de.learnlib.algorithms.adt.automaton.ADTHypothesis
    de.learnlib.algorithms.adt.automaton.de.learnlib.algorithms.adt.automaton.ADTState
    de.learnlib.algorithms.adt.automaton.de.learnlib.algorithms.adt.automaton.ADTTransition
    de.learnlib.algorithms.adt.config
    de.learnlib.algorithms.adt.config.de.learnlib.algorithms.adt.config.ADTExtenders
    de.learnlib.algorithms.adt.config.de.learnlib.algorithms.adt.config.LeafSplitters
    de.learnlib.algorithms.adt.config.de.learnlib.algorithms.adt.config.SubtreeReplacers
    de.learnlib.algorithms.adt.config.model
    de.learnlib.algorithms.adt.config.model.de.learnlib.algorithms.adt.config.model.ADSCalculator
    de.learnlib.algorithms.adt.config.model.de.learnlib.algorithms.adt.config.model.DefensiveADSCalculator
    de.learnlib.algorithms.adt.config.model.calculator
    de.learnlib.algorithms.adt.config.model.calculator.de.learnlib.algorithms.adt.config.model.calculator.AbstractCalculator
    de.learnlib.algorithms.adt.config.model.calculator.de.learnlib.algorithms.adt.config.model.calculator.BestEffortCalculator
    de.learnlib.algorithms.adt.config.model.calculator.de.learnlib.algorithms.adt.config.model.calculator.BestEffortDefensiveCalculator
    de.learnlib.algorithms.adt.config.model.calculator.de.learnlib.algorithms.adt.config.model.calculator.MinLengthCalculator
    de.learnlib.algorithms.adt.config.model.calculator.de.learnlib.algorithms.adt.config.model.calculator.MinSizeCalculator
    de.learnlib.algorithms.adt.config.model.extender
    de.learnlib.algorithms.adt.config.model.extender.de.learnlib.algorithms.adt.config.model.extender.DefaultExtender
    de.learnlib.algorithms.adt.config.model.replacer
    de.learnlib.algorithms.adt.config.model.replacer.de.learnlib.algorithms.adt.config.model.replacer.ExhaustiveReplacer
    de.learnlib.algorithms.adt.config.model.replacer.de.learnlib.algorithms.adt.config.model.replacer.LevelOrderReplacer
    de.learnlib.algorithms.adt.config.model.replacer.de.learnlib.algorithms.adt.config.model.replacer.SingleReplacer
    de.learnlib.algorithms.adt.learner
    de.learnlib.algorithms.adt.learner.de.learnlib.algorithms.adt.learner.ADTLearner
    de.learnlib.algorithms.adt.learner.de.learnlib.algorithms.adt.learner.ADTLearnerState
    de.learnlib.algorithms.adt.model
    de.learnlib.algorithms.adt.model.de.learnlib.algorithms.adt.model.ExtensionResult
    de.learnlib.algorithms.adt.model.de.learnlib.algorithms.adt.model.ObservationTree
    de.learnlib.algorithms.adt.model.de.learnlib.algorithms.adt.model.ReplacementResult
    de.learnlib.algorithms.adt.util
    de.learnlib.algorithms.adt.util.de.learnlib.algorithms.adt.util.ADTUtil
    de.learnlib.algorithms.adt.util.de.learnlib.algorithms.adt.util.SQOOTBridge




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy