Artifacts using AutomataLib :: Utilities (48)

Example learning setups, to be used for integration testing

Infrastructure and core functionalities of LearnLib

Support classes for easily writing integration test cases for learning algorithms

(De-)Serializers for the DOT Format

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

A collection of equivalence oracles

Generic automata serialization core

Data- and utility classes for Discrimination Trees

Caches to avoid posing duplicate membership queries

A collection of basic algorithm for approximating equivalence queries