l

learnlib-nlstar

This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.
bollig kern habermehl implementation angluin this leucker learning papers artifact ijcai benedikt paper peter carsten provides martin http style proceedings algorithm described
Files download
File Operation
learnlib-nlstar-0.17.0.jar download
learnlib-nlstar-0.17.0.pom download
learnlib-nlstar-0.17.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-nlstar</artifactId>
  <version>0.17.0</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-nlstar:0.17.0'
Gradle Kotlin 
implementation("de.learnlib:learnlib-nlstar:0.17.0")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-nlstar" % "0.17.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-nlstar', version='0.17.0')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-nlstar" rev="0.17.0" />
Leiningen 
[de.learnlib/learnlib-nlstar "0.17.0"]
Apache Buildr 
'de.learnlib:learnlib-nlstar: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

|-- de.learnlib:learnlib-util

|-- net.automatalib:automata-api

|-- net.automatalib:automata-core

|-- net.automatalib:automata-util

|-- org.checkerframework:checker-qual

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

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

|-- org.testng:testng

test

|-- de.learnlib:learnlib-equivalence-oracles

|-- de.learnlib:learnlib-membership-oracles