l

learnlib-observation-pack

This artifact provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis "Active learning of interface programs" (http://dx.doi.org/10.17877/DE290R-4817) by Falk Howar.
de290r observation implementation this active learning interface howar pack artifact 4817 falk provides thesis http programs 17877 algorithm described
Files download
File Operation
learnlib-observation-pack-0.17.0.jar download
learnlib-observation-pack-0.17.0.pom download
learnlib-observation-pack-0.17.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-observation-pack</artifactId>
  <version>0.17.0</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-observation-pack:0.17.0'
Gradle Kotlin 
implementation("de.learnlib:learnlib-observation-pack:0.17.0")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-observation-pack" % "0.17.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-observation-pack', version='0.17.0')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-observation-pack" rev="0.17.0" />
Leiningen 
[de.learnlib/learnlib-observation-pack "0.17.0"]
Apache Buildr 
'de.learnlib:learnlib-observation-pack: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-counterexamples

|-- de.learnlib:learnlib-datastructure-dt

|-- de.learnlib:learnlib-util

|-- net.automatalib:automata-api

|-- net.automatalib:automata-core

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

|-- 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

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

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

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