Group: de.learnlib - All Dependencies

LearnLib :: Algorithms :: DHC · The Direct Hypothesis Construction algorithm for active learning of Mealy machines

LearnLib :: Commons :: Settings · A collection of utility methods to parse LearnLib specific settings

LearnLib :: Algorithms :: L* · 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).

LearnLib :: Algorithms :: Discrimination Tree [VPDA] · A learning algorithm, which distinguishes hypothesis states using a discrimination tree (visibly push-down automata variant).

LearnLib :: Datastructures :: Observationtable · Data- and utility classes for Observation Tables

LearnLib :: Algorithms :: TTT · The TTT Algorithm

LearnLib :: Algorithms :: NL* · A variant of the L* algorithm for inferring non-deterministic hypothesis automata.

LearnLib :: Algorithms :: Baseline L* · A simple, straightforward implementation of Dana Angluin's L* algorithm

LearnLib :: Algorithms :: Kearns/Vazirani · The automata learning algorithm described by Kearns & Vazirani

LearnLib :: Algorithms :: TTT [VPDA] · The TTT Algorithm (visibly push-down automata variant)

LearnLib :: Algorithms :: MDL · The MDL passive learning algorithm

LearnLib :: Algorithms :: EDSM · The EDSM passive learning algorithm

LearnLib :: Algorithms :: 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.

LearnLib :: Oracles :: Property Oracles · A collection of property oracles

LearnLib :: Oracles :: Emptiness Oracles · A collection of emptiness oracles

LearnLib :: Build Tools · Tools and resources required for building LearnLib

LearnLib :: Oracles · Parent module for oracles and oracle-related modules

LearnLib :: Filters · Parent module for components that can be inserted in a chain of oracles

LearnLib :: Drivers · Parent module for test drivers

LearnLib :: Datastructures · Parent module for data structures shared across multiple modules of LearnLib

LearnLib :: Commons · Parent module for common LearnLib utilities

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.

LearnLib :: Algorithms :: Passive · Parent module for (passive) automata learning algorithms shipped with LearnLib

LearnLib :: Algorithms · Parent module for automata learning algorithms shipped with LearnLib