JarCastingProject Group: de.learnlib
Last Version: 0.16.0
Release Date:
LearnLib :: Commons :: Counterexamples
de.learnlib : learnlib-counterexamplesA collection of standard algorithms for handling counterexamples in automata learning
Last Version: 0.16.0
Release Date:
LearnLib :: Commons :: Abstract Counterexamples
de.learnlib : learnlib-acexAn abstract counterexample analysis framework
Last Version: 0.16.0
Release Date:
LearnLib :: Filters :: Cache
de.learnlib : learnlib-cacheCaches to avoid posing duplicate membership queries
Last Version: 0.16.0
Release Date:
LearnLib :: Oracles :: Parallelism
de.learnlib : learnlib-parallelismSupport for parallelizing membership queries
Last Version: 0.16.0
Release Date:
LearnLib :: Drivers :: Basic
de.learnlib : learnlib-drivers-basicBasic Test Driver Generation Support
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: DHC
de.learnlib : learnlib-dhcThe Direct Hypothesis Construction algorithm for active learning of Mealy machines
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: Discrimination Tree
de.learnlib : learnlib-discrimination-treeA learning algorithm, which distinguishes hypothesis states using a discrimination tree.
Last Version: 0.16.0
Release Date:
LearnLib :: Drivers :: Mapper
de.learnlib : learnlib-mapperTranslation utilities for mapping abstract hypothesis symbols to concrete SUL symbols
Last Version: 0.16.0
Release Date:
LearnLib :: Filters :: Reuse
de.learnlib : learnlib-reuseReuse Tree for (intelligently) caching membership queries
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: Kearns/Vazirani
de.learnlib : learnlib-kearns-vaziraniThe automata learning algorithm described by Kearns & Vazirani
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: NL*
de.learnlib : learnlib-nlstarA variant of the L* algorithm for inferring non-deterministic hypothesis automata.
Last Version: 0.16.0
Release Date:
Last Version: 0.16.0
Release Date:
LearnLib :: Commons :: Util
de.learnlib : learnlib-utilA collection of utility methods for learning setups (oracle wrappers, etc.)
Last Version: 0.16.0
Release Date:
LearnLib :: Datastructures :: Discrimination Tree
de.learnlib : learnlib-datastructure-dtData- and utility classes for Discrimination Trees
Last Version: 0.16.0
Release Date:
LearnLib :: Oracles :: Membership Oracles
de.learnlib : learnlib-membership-oraclesA collection of membership oracles
Last Version: 0.16.0
Release Date:
LearnLib :: Datastructures :: List
de.learnlib : learnlib-datastructure-listData- and utility classes for Lists
Last Version: 0.16.0
Release Date:
LearnLib :: Datastructures :: PTA
de.learnlib : learnlib-datastructure-ptaData- and utility classes for Prefix-Tree-Acceptors
Last Version: 0.16.0
Release Date:
LearnLib :: Annotation Processor
de.learnlib : learnlib-annotation-processorAnnotations and processors for the LearnLib build process
Last Version: 0.16.0
Release Date:
Last Version: 0.16.0
Release Date:
LearnLib :: Drivers :: Simulator
de.learnlib : learnlib-drivers-simulatorUtilities for simulating SULs
Last Version: 0.16.0
Release Date:
LearnLib :: Filters :: Statistics
de.learnlib : learnlib-statisticsFilters for collecting statistical data
Last Version: 0.16.0
Release Date:
LearnLib :: Commons :: Settings
de.learnlib : learnlib-settingsA collection of utility methods to parse LearnLib specific settings
Last Version: 0.16.0
Release Date:
LearnLib :: Oracles :: Equivalence Oracles
de.learnlib : learnlib-equivalence-oraclesA collection of equivalence oracles
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: Discrimination Tree [VPDA]
de.learnlib : learnlib-discrimination-tree-vpdaA learning algorithm, which distinguishes hypothesis states using a discrimination tree (visibly push-down automata variant).
Last Version: 0.16.0
Release Date:
LearnLib :: Datastructures :: Observationtable
de.learnlib : learnlib-datastructure-otData- and utility classes for Observation Tables
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: ADT
de.learnlib : learnlib-adtThe ADT Algorithm. Uses adaptive distinguishing trees (a generalization of adaptive distinguishing sequences) to separate hypothesis states and focuses on minimizing the amount of resets during the learning process.
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: L*
de.learnlib : learnlib-lstarA 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).
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: TTT [VPDA]
de.learnlib : learnlib-ttt-vpdaThe TTT Algorithm (visibly push-down automata variant)
Last Version: 0.16.0
Release Date:
Last Version: 0.16.0
Release Date:
Last Version: 0.16.0
Release Date:
LearnLib :: Oracles :: Emptiness Oracles
de.learnlib : learnlib-emptiness-oraclesA collection of emptiness oracles
Last Version: 0.16.0
Release Date:
LearnLib :: Oracles :: Property Oracles
de.learnlib : learnlib-property-oraclesA collection of property oracles
Last Version: 0.16.0
Release Date:
LearnLib :: Build Parent
de.learnlib : learnlib-build-parentA utility parent, that defines certain plugin executions for the build process. May be used to define dependencies on the "build-tools" artifact without introducing cyclic dependencies with the general parent.
Last Version: 0.16.0
Release Date:
LearnLib :: Commons
de.learnlib : learnlib-commons-parentParent module for common LearnLib utilities
Last Version: 0.16.0
Release Date:
Last Version: 0.16.0
Release Date:
LearnLib :: Oracles
de.learnlib : learnlib-oracles-parentParent module for oracles and oracle-related modules
Last Version: 0.16.0
Release Date:
LearnLib :: Filters
de.learnlib : learnlib-filters-parentParent module for components that can be inserted in a chain of oracles
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms
de.learnlib : learnlib-algorithms-parentParent module for automata learning algorithms shipped with LearnLib
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: Active
de.learnlib : learnlib-algorithms-active-parentParent module for (active) automata learning algorithms shipped with LearnLib
Last Version: 0.16.0
Release Date:
LearnLib :: Datastructures
de.learnlib : learnlib-datastructures-parentParent module for data structures shared across multiple modules of LearnLib
Last Version: 0.16.0
Release Date:
LearnLib :: Algorithms :: Passive
de.learnlib : learnlib-algorithms-passive-parentParent module for (passive) automata learning algorithms shipped with LearnLib
Last Version: 0.16.0
Release Date:
LearnLib :: Build Tool Parent
de.learnlib : learnlib-build-tools-parentTools and resources required for building LearnLib
Last Version: 0.16.0
Release Date:
LearnLib :: Build Configs
de.learnlib : learnlib-build-configConfigs and other resources required for building LearnLib
Last Version: 0.16.0
Release Date:
Last Version: 0.16.0
Release Date:
LearnLib :: Build Tools
de.learnlib : learnlib-build-toolsTools and resources required for building LearnLib
Last Version: 0.14.0
Release Date:
Last Version: 0.12.0
Release Date:
LearnLib :: Simulator
de.learnlib : learnlib-simulatorMembership and equivalence oracles using an automaton model as backend
Last Version: 0.12.0
Release Date:
LearnLib :: Equivalence Tests :: Basic Tests
de.learnlib : learnlib-basic-eqtestsA collection of basic algorithm for approximating equivalence queries
Last Version: 0.12.0
Release Date:
LearnLib :: Algorithms :: Algorithm Features
de.learnlib : learnlib-algorithm-featuresCommon interfaces providing features supported by various learning algorithms
Last Version: 0.12.0
Release Date:- 1