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.
Files download
File Operation
learnlib-aaar-0.17.0.jar download
learnlib-aaar-0.17.0.pom download
learnlib-aaar-0.17.0-sources.jar download
Apache Maven
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-aaar</artifactId>
  <version>0.17.0</version>
</dependency>
Gradle Groovy
implementation 'de.learnlib:learnlib-aaar:0.17.0'
Gradle Kotlin
implementation("de.learnlib:learnlib-aaar:0.17.0")
Scala SBT
libraryDependencies += "de.learnlib" % "learnlib-aaar" % "0.17.0"
Groovy Grape
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-aaar', version='0.17.0')
)
Apache Ivy
<dependency org="de.learnlib" name="learnlib-aaar" rev="0.17.0" />
Leiningen
[de.learnlib/learnlib-aaar "0.17.0"]
Apache Buildr
'de.learnlib:learnlib-aaar:jar:0.17.0'