l

learnlib-dhc

This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.
maik merten direct 34781 learning artifact steffen paper 8_19 falk provides tiziana construction https algorithm described bernhard implementation this howar margaria with 1007 automata hypothesis
Files download
File Operation
learnlib-dhc-0.17.0.jar download
learnlib-dhc-0.17.0.pom download
learnlib-dhc-0.17.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-dhc</artifactId>
  <version>0.17.0</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-dhc:0.17.0'
Gradle Kotlin 
implementation("de.learnlib:learnlib-dhc:0.17.0")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-dhc" % "0.17.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-dhc', version='0.17.0')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-dhc" rev="0.17.0" />
Leiningen 
[de.learnlib/learnlib-dhc "0.17.0"]
Apache Buildr 
'de.learnlib:learnlib-dhc: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

|-- com.google.guava:guava

|-- net.automatalib:automata-api

|-- net.automatalib:automata-core

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

|-- org.checkerframework:checker-qual

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

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

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

|-- org.testng:testng

test

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

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

|-- net.automatalib:automata-util