Artifacts using learnlib-acex version 0.11.1

A collection of algorithms for handling counterexamples in automata learning

This artifact provides the implementation of the learning algorithm described in the book "An Introduction to Computational Learning Theory" by Michael Kearns and Umesh Vazirani.