l

learnlib-oml

This artifact provides the implementations of various learning algorithms based on the "optimal MAT learning" concept as described in the paper "Active Automata Learning as Black-Box Search and Lazy Partition Refinement" (https://doi.org/10.1007/978-3-031-15629-8_17) by Falk Howar and Bernhard Steffen.
algorithms optimal lazy concept learning artifact steffen search 15629 partition paper falk provides 8_17 refinement https implementations described based bernhard this black active howar 1007 various automata
Files download
File Operation
learnlib-oml-0.17.0.jar download
learnlib-oml-0.17.0.pom download
learnlib-oml-0.17.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-oml</artifactId>
  <version>0.17.0</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-oml:0.17.0'
Gradle Kotlin 
implementation("de.learnlib:learnlib-oml:0.17.0")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-oml" % "0.17.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-oml', version='0.17.0')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-oml" rev="0.17.0" />
Leiningen 
[de.learnlib/learnlib-oml "0.17.0"]
Apache Buildr 
'de.learnlib:learnlib-oml:jar:0.17.0'
Dependencies 
<parent>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-algorithms-active-parent</artifactId>
  <version>0.17.0</version>
</parent>

compile

|-- de.learnlib:learnlib-api

|-- net.automatalib:automata-api

|-- net.automatalib:automata-commons-util

|-- net.automatalib:automata-core

|-- org.checkerframework:checker-qual

|-- com.github.misberner.buildergen:buildergen

|-- de.learnlib.testsupport:learnlib-learner-it-support

|-- de.learnlib.testsupport:learnlib-learning-examples

|-- org.testng:testng

test

|-- net.automatalib:automata-serialization-dot