META-INF.MANIFEST.MF Maven / Gradle / Ivy

Show more of this group  Show more artifacts with this name
Show all versions of learnlib-aaar Show documentation

This artifact provides the implementation of the AAAR learning algorithm as described in the paper "Automata Learning with Automated Alphabet Abstraction Refinement" (https://dx.doi.org/10.1007/978-3-642-18275-4_19) by Falk Howar, Bernhard Steffen, and Maik Merten.