All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download learnlib-aaar JAR file with all dependencies

Search JAR files by class name

learnlib-aaar from group de.learnlib (version 0.17.0)

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.

Group: de.learnlib Artifact: learnlib-aaar
Show documentation Show source 
 

0 downloads
Artifact learnlib-aaar
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Tags: 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
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies learnlib-api, guava, automata-api, automata-commons-util, automata-core, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy