l

learnlib-aaar

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.
18275 maik merten learning 4_19 alphabet artifact steffen paper falk provides refinement https algorithm described bernhard implementation abstraction this howar with 1007 automated aaar automata
Aggregated version Version Update time
0.17 0.17.0 Nov 15, 2023
1 Records