Группа библиотек: de.learnlib

LearnLib :: API

de.learnlib : learnlib-api

Infrastructure and core interfaces of LearnLib

Последняя версия: 0.16.0

Дата:

LearnLib :: Commons :: Counterexamples

de.learnlib : learnlib-counterexamples

A collection of standard algorithms for handling counterexamples in automata learning

Последняя версия: 0.16.0

Дата:

LearnLib :: Commons :: Abstract Counterexamples

de.learnlib : learnlib-acex

An abstract counterexample analysis framework

Последняя версия: 0.16.0

Дата:

LearnLib :: Filters :: Cache

de.learnlib : learnlib-cache

Caches to avoid posing duplicate membership queries

Последняя версия: 0.16.0

Дата:

LearnLib :: Oracles :: Parallelism

de.learnlib : learnlib-parallelism

Support for parallelizing membership queries

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: DHC

de.learnlib : learnlib-dhc

The Direct Hypothesis Construction algorithm for active learning of Mealy machines

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: Discrimination Tree

de.learnlib : learnlib-discrimination-tree

A learning algorithm, which distinguishes hypothesis states using a discrimination tree.

Последняя версия: 0.16.0

Дата:

LearnLib :: Drivers :: Mapper

de.learnlib : learnlib-mapper

Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

Последняя версия: 0.16.0

Дата:

LearnLib :: Filters :: Reuse

de.learnlib : learnlib-reuse

Reuse Tree for (intelligently) caching membership queries

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: Kearns/Vazirani

de.learnlib : learnlib-kearns-vazirani

The automata learning algorithm described by Kearns & Vazirani

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: NL*

de.learnlib : learnlib-nlstar

A variant of the L* algorithm for inferring non-deterministic hypothesis automata.

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Commons :: Util

de.learnlib : learnlib-util

A collection of utility methods for learning setups (oracle wrappers, etc.)

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Datastructures :: PTA

de.learnlib : learnlib-datastructure-pta

Data- and utility classes for Prefix-Tree-Acceptors

Последняя версия: 0.16.0

Дата:

LearnLib :: Annotation Processor

de.learnlib : learnlib-annotation-processor

Annotations and processors for the LearnLib build process

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: RPNI

de.learnlib : learnlib-rpni

The RPNI passive learning algorithm

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Filters :: Statistics

de.learnlib : learnlib-statistics

Filters for collecting statistical data

Последняя версия: 0.16.0

Дата:

LearnLib :: Commons :: Settings

de.learnlib : learnlib-settings

A collection of utility methods to parse LearnLib specific settings

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: Discrimination Tree [VPDA]

de.learnlib : learnlib-discrimination-tree-vpda

A learning algorithm, which distinguishes hypothesis states using a discrimination tree (visibly push-down automata variant).

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: ADT

de.learnlib : learnlib-adt

The 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-lstar

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).

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: TTT [VPDA]

de.learnlib : learnlib-ttt-vpda

The TTT Algorithm (visibly push-down automata variant)

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Build Parent

de.learnlib : learnlib-build-parent

A 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-parent

Parent module for common LearnLib utilities

Последняя версия: 0.16.0

Дата:

Последняя версия: 0.16.0

Дата:

LearnLib :: Oracles

de.learnlib : learnlib-oracles-parent

Parent module for oracles and oracle-related modules

Последняя версия: 0.16.0

Дата:

LearnLib :: Filters

de.learnlib : learnlib-filters-parent

Parent module for components that can be inserted in a chain of oracles

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms

de.learnlib : learnlib-algorithms-parent

Parent module for automata learning algorithms shipped with LearnLib

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: Active

de.learnlib : learnlib-algorithms-active-parent

Parent module for (active) automata learning algorithms shipped with LearnLib

Последняя версия: 0.16.0

Дата:

LearnLib :: Datastructures

de.learnlib : learnlib-datastructures-parent

Parent module for data structures shared across multiple modules of LearnLib

Последняя версия: 0.16.0

Дата:

LearnLib :: Algorithms :: Passive

de.learnlib : learnlib-algorithms-passive-parent

Parent module for (passive) automata learning algorithms shipped with LearnLib

Последняя версия: 0.16.0

Дата:

LearnLib :: Build Tool Parent

de.learnlib : learnlib-build-tools-parent

Tools and resources required for building LearnLib

Последняя версия: 0.16.0

Дата:

LearnLib :: Build Configs

de.learnlib : learnlib-build-config

Configs and other resources required for building LearnLib

Последняя версия: 0.16.0

Дата:

LearnLib

de.learnlib : learnlib-parent

A framework for active automata learning and experimentation

Последняя версия: 0.16.0

Дата:

LearnLib :: Build Tools

de.learnlib : learnlib-build-tools

Tools and resources required for building LearnLib

Последняя версия: 0.14.0

Дата:

LearnLib :: Core

de.learnlib : learnlib-core

Infrastructure and core functionalities of LearnLib

Последняя версия: 0.12.0

Дата:

LearnLib :: Simulator

de.learnlib : learnlib-simulator

Membership and equivalence oracles using an automaton model as backend

Последняя версия: 0.12.0

Дата:

LearnLib :: Equivalence Tests :: Basic Tests

de.learnlib : learnlib-basic-eqtests

A collection of basic algorithm for approximating equivalence queries

Последняя версия: 0.12.0

Дата:

LearnLib :: Algorithms :: Algorithm Features

de.learnlib : learnlib-algorithm-features

Common interfaces providing features supported by various learning algorithms

Последняя версия: 0.12.0

Дата:

  • 1