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

2 versions โ†’
VersionVulnerabilitiesUsagesDate
0.18.x
0.18.0
1
Feb 06, 2025
0.17.x
0.17.0
1
Nov 15, 2023
2 versions โ†’