Home » de.learnlib » learnlib-aaar » 19.0.0 » Changes

LearnLib :: Algorithms :: AAAR » 19.0.0

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

Version Details

0.18.0 19.0.0
Release dateFeb 06, 2025Aug 13, 2026
LicensesApache 2.0Apache 2.0
VulnerabilitiesNoneNone

Compile Changes (8)

0.18.0 19.0.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated de.learnlib » learnlib-api0.18.019.0.0
~ Updated de.learnlib.testsupport » learnlib-learner-it-support0.18.019.0.0
~ Updated de.learnlib.testsupport » learnlib-learning-examples0.18.019.0.0
~ Updated net.automatalib » automata-api0.12.013.0.0
~ Updated net.automatalib » automata-commons-util0.12.013.0.0
~ Updated net.automatalib » automata-core0.12.013.0.0
~ Updated org.checkerframework » checker-qual3.48.34.2.1
~ Updated org.testng » testng7.10.27.12.0

Test Changes (13)

0.18.0 19.0.0
ChangeGroup / ArtifactPreviousCurrent
+ Added de.learnlib » learnlib-dhc-19.0.0
+ Added de.learnlib » learnlib-sparse-19.0.0
~ Updated de.learnlib » learnlib-counterexamples0.18.019.0.0
~ Updated de.learnlib » learnlib-equivalence-oracles0.18.019.0.0
~ Updated de.learnlib » learnlib-kearns-vazirani0.18.019.0.0
~ Updated de.learnlib » learnlib-lambda0.18.019.0.0
~ Updated de.learnlib » learnlib-lstar0.18.019.0.0
~ Updated de.learnlib » learnlib-membership-oracles0.18.019.0.0
~ Updated de.learnlib » learnlib-observation-pack0.18.019.0.0
~ Updated de.learnlib » learnlib-ttt0.18.019.0.0
~ Updated de.learnlib » learnlib-util0.18.019.0.0
~ Updated net.automatalib » automata-serialization-dot0.12.013.0.0
~ Updated net.automatalib » automata-util0.12.013.0.0