l

learnlib-ttt-vpa

This artifact provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective" (https://dx.doi.org/10.17877/DE290R-16359) by Malte Isberner.
adaption de290r malte implementation this foundations active learning artifact isberner provides presented thesis perspective 16359 https automata algorithmic 17877 algorithm
Files download
File Operation
learnlib-ttt-vpa-0.17.0.jar download
learnlib-ttt-vpa-0.17.0.pom download
learnlib-ttt-vpa-0.17.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-ttt-vpa</artifactId>
  <version>0.17.0</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-ttt-vpa:0.17.0'
Gradle Kotlin 
implementation("de.learnlib:learnlib-ttt-vpa:0.17.0")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-ttt-vpa" % "0.17.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-ttt-vpa', version='0.17.0')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-ttt-vpa" rev="0.17.0" />
Leiningen 
[de.learnlib/learnlib-ttt-vpa "0.17.0"]
Apache Buildr 
'de.learnlib:learnlib-ttt-vpa: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-datastructure-list

|-- de.learnlib:learnlib-observation-pack-vpa

|-- com.google.guava:guava

|-- net.automatalib:automata-api

|-- org.checkerframework:checker-qual

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

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

|-- org.testng:testng