l

learnlib-adt

The ADT Algorithm. Uses adaptive distinguishing trees (a generalization of adaptive distinguishing sequences) to separate hypothesis states and focuses on minimizing the amount of resets during the learning process.
separate adaptive resets focuses sequences states learning algorithm distinguishing process amount during generalization minimizing trees uses hypothesis
Files download
File Operation
learnlib-adt-0.15.0.jar download
learnlib-adt-0.15.0.pom download
learnlib-adt-0.15.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-adt</artifactId>
  <version>0.15.0</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-adt:0.15.0'
Gradle Kotlin 
implementation("de.learnlib:learnlib-adt:0.15.0")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-adt" % "0.15.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-adt', version='0.15.0')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-adt" rev="0.15.0" />
Leiningen 
[de.learnlib/learnlib-adt "0.15.0"]
Apache Buildr 
'de.learnlib:learnlib-adt:jar:0.15.0'
Dependencies 
<parent>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-algorithms-active-parent</artifactId>
  <version>0.15.0</version>
</parent>

compile

|-- de.learnlib:learnlib-api

|-- de.learnlib:learnlib-counterexamples

|-- de.learnlib:learnlib-util

|-- net.automatalib:automata-api

|-- net.automatalib:automata-core

|-- net.automatalib:automata-util

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

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

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

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