Artifacts using LearnLib :: Filters :: Statistics (5)

Sort by:Popular▼

✓Popular✓Newest

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

Caches to avoid posing duplicate membership queries

Support for posing membership queries in parallel

An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all LearnLib artifacts.

This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis "Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus Frohme.