Group: LearnLib

Sort by:Popular▼

✓Popular✓Newest

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

Parent module for automata learning algorithms shipped with LearnLib

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

Configs and other resources required for building LearnLib

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.

Parent module for common LearnLib utilities

Parent module for test drivers

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

Parent module for oracles and oracle-related modules

A framework for active automata learning and experimentation

Data- and utility classes for Prefix-Tree-Acceptors

Data- and utility classes for Observation Tables

This artifact provides the implementations of various learning algorithms based on the "optimal MAT learning" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" ...

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" ...

This artifact provides the implementation of (a blue-fringe version of) the "regular positive negative inference" (RPNI) learning algorithm as presented in the paper "Inferring regular languages in polynomial update time" ...

Parent module for data structures shared across multiple modules of LearnLib

Membership and equivalence oracles using an automaton model as backend

A collection of basic algorithm for approximating equivalence queries

Functionality to ease writing test cases for LearnLib

Infrastructure and core functionalities of LearnLib