JarCastingГруппа библиотек: de.learnlib
Последняя версия: 0.16.0
Дата:
LearnLib :: Commons :: Counterexamples
de.learnlib : learnlib-counterexamplesA collection of standard algorithms for handling counterexamples in automata learning
Последняя версия: 0.16.0
Дата:
LearnLib :: Commons :: Abstract Counterexamples
de.learnlib : learnlib-acexAn abstract counterexample analysis framework
Последняя версия: 0.16.0
Дата:
LearnLib :: Filters :: Cache
de.learnlib : learnlib-cacheCaches to avoid posing duplicate membership queries
Последняя версия: 0.16.0
Дата:
LearnLib :: Oracles :: Parallelism
de.learnlib : learnlib-parallelismSupport for parallelizing membership queries
Последняя версия: 0.16.0
Дата:
LearnLib :: Drivers :: Basic
de.learnlib : learnlib-drivers-basicBasic Test Driver Generation Support
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms :: DHC
de.learnlib : learnlib-dhcThe Direct Hypothesis Construction algorithm for active learning of Mealy machines
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms :: Discrimination Tree
de.learnlib : learnlib-discrimination-treeA learning algorithm, which distinguishes hypothesis states using a discrimination tree.
Последняя версия: 0.16.0
Дата:
LearnLib :: Drivers :: Mapper
de.learnlib : learnlib-mapperTranslation utilities for mapping abstract hypothesis symbols to concrete SUL symbols
Последняя версия: 0.16.0
Дата:
LearnLib :: Filters :: Reuse
de.learnlib : learnlib-reuseReuse Tree for (intelligently) caching membership queries
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms :: Kearns/Vazirani
de.learnlib : learnlib-kearns-vaziraniThe automata learning algorithm described by Kearns & Vazirani
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms :: NL*
de.learnlib : learnlib-nlstarA variant of the L* algorithm for inferring non-deterministic hypothesis automata.
Последняя версия: 0.16.0
Дата:
Последняя версия: 0.16.0
Дата:
LearnLib :: Commons :: Util
de.learnlib : learnlib-utilA collection of utility methods for learning setups (oracle wrappers, etc.)
Последняя версия: 0.16.0
Дата:
LearnLib :: Datastructures :: Discrimination Tree
de.learnlib : learnlib-datastructure-dtData- and utility classes for Discrimination Trees
Последняя версия: 0.16.0
Дата:
LearnLib :: Oracles :: Membership Oracles
de.learnlib : learnlib-membership-oraclesA collection of membership oracles
Последняя версия: 0.16.0
Дата:
LearnLib :: Datastructures :: List
de.learnlib : learnlib-datastructure-listData- and utility classes for Lists
Последняя версия: 0.16.0
Дата:
LearnLib :: Datastructures :: PTA
de.learnlib : learnlib-datastructure-ptaData- and utility classes for Prefix-Tree-Acceptors
Последняя версия: 0.16.0
Дата:
LearnLib :: Annotation Processor
de.learnlib : learnlib-annotation-processorAnnotations and processors for the LearnLib build process
Последняя версия: 0.16.0
Дата:
Последняя версия: 0.16.0
Дата:
LearnLib :: Drivers :: Simulator
de.learnlib : learnlib-drivers-simulatorUtilities for simulating SULs
Последняя версия: 0.16.0
Дата:
LearnLib :: Filters :: Statistics
de.learnlib : learnlib-statisticsFilters for collecting statistical data
Последняя версия: 0.16.0
Дата:
LearnLib :: Commons :: Settings
de.learnlib : learnlib-settingsA collection of utility methods to parse LearnLib specific settings
Последняя версия: 0.16.0
Дата:
LearnLib :: Oracles :: Equivalence Oracles
de.learnlib : learnlib-equivalence-oraclesA collection of equivalence oracles
Последняя версия: 0.16.0
Дата:
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).
Последняя версия: 0.16.0
Дата:
LearnLib :: Datastructures :: Observationtable
de.learnlib : learnlib-datastructure-otData- and utility classes for Observation Tables
Последняя версия: 0.16.0
Дата:
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.
Последняя версия: 0.16.0
Дата:
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).
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms :: TTT [VPDA]
de.learnlib : learnlib-ttt-vpdaThe TTT Algorithm (visibly push-down automata variant)
Последняя версия: 0.16.0
Дата:
Последняя версия: 0.16.0
Дата:
Последняя версия: 0.16.0
Дата:
LearnLib :: Oracles :: Emptiness Oracles
de.learnlib : learnlib-emptiness-oraclesA collection of emptiness oracles
Последняя версия: 0.16.0
Дата:
LearnLib :: Oracles :: Property Oracles
de.learnlib : learnlib-property-oraclesA collection of property oracles
Последняя версия: 0.16.0
Дата:
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.
Последняя версия: 0.16.0
Дата:
LearnLib :: Commons
de.learnlib : learnlib-commons-parentParent module for common LearnLib utilities
Последняя версия: 0.16.0
Дата:
Последняя версия: 0.16.0
Дата:
LearnLib :: Oracles
de.learnlib : learnlib-oracles-parentParent module for oracles and oracle-related modules
Последняя версия: 0.16.0
Дата:
LearnLib :: Filters
de.learnlib : learnlib-filters-parentParent module for components that can be inserted in a chain of oracles
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms
de.learnlib : learnlib-algorithms-parentParent module for automata learning algorithms shipped with LearnLib
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms :: Active
de.learnlib : learnlib-algorithms-active-parentParent module for (active) automata learning algorithms shipped with LearnLib
Последняя версия: 0.16.0
Дата:
LearnLib :: Datastructures
de.learnlib : learnlib-datastructures-parentParent module for data structures shared across multiple modules of LearnLib
Последняя версия: 0.16.0
Дата:
LearnLib :: Algorithms :: Passive
de.learnlib : learnlib-algorithms-passive-parentParent module for (passive) automata learning algorithms shipped with LearnLib
Последняя версия: 0.16.0
Дата:
LearnLib :: Build Tool Parent
de.learnlib : learnlib-build-tools-parentTools and resources required for building LearnLib
Последняя версия: 0.16.0
Дата:
LearnLib :: Build Configs
de.learnlib : learnlib-build-configConfigs and other resources required for building LearnLib
Последняя версия: 0.16.0
Дата:
Последняя версия: 0.16.0
Дата:
LearnLib :: Build Tools
de.learnlib : learnlib-build-toolsTools and resources required for building LearnLib
Последняя версия: 0.14.0
Дата:
Последняя версия: 0.12.0
Дата:
LearnLib :: Simulator
de.learnlib : learnlib-simulatorMembership and equivalence oracles using an automaton model as backend
Последняя версия: 0.12.0
Дата:
LearnLib :: Equivalence Tests :: Basic Tests
de.learnlib : learnlib-basic-eqtestsA collection of basic algorithm for approximating equivalence queries
Последняя версия: 0.12.0
Дата:
LearnLib :: Algorithms :: Algorithm Features
de.learnlib : learnlib-algorithm-featuresCommon interfaces providing features supported by various learning algorithms
Последняя версия: 0.12.0
Дата:- 1