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.
VersionVulnerabilitiesRepositoryUsagesDate
0.18.x
0.18.0CentralFeb 06, 2025
0.17.x
0.17.0CentralNov 15, 2023