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.

Latest Versions

3 versions โ†’
VersionVulnerabilitiesUsagesDate
19.0.x
19.0.0
1
Aug 13, 2026
0.18.x
0.18.0
1
Feb 06, 2025
0.17.x
0.17.0
1
Nov 15, 2023
3 versions โ†’