Home » de.learnlib » learnlib-dhc » 0.9.1-ase2013-tutorial

LearnLib :: Algorithms :: DHC » 0.9.1-ase2013-tutorial

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.

LicenseLGPL 3.0
DateNov 06, 2013
Filespom (2 KB)  jar (8 KB)  View All
RepositoriesCentralSpring Lib M
Ranking#152095 in MvnRepository (See Top Artifacts)
Used By3 artifacts

Note: There is a new version for this artifact

New Version0.18.0

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Compile Dependencies (7)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib » learnlib-core 0.9.1-ase2013-tutorial0.18.0

LGPL 3.0		de.learnlib » learnlib-test-support 0.9.1-ase2013-tutorial0.9.1

Apache 2.0		de.learnlib » learnlib-counterexamples 0.9.1-ase2013-tutorial0.18.0

Apache 2.0		net.automatalib » automata-api 0.3.1-ase2013-tutorial0.12.1

Apache 2.0		net.automatalib » automata-core 0.3.1-ase2013-tutorial0.12.1

Apache 2.0		net.automatalib » automata-util 0.3.1-ase2013-tutorial0.12.1
Testing
Apache 2.0		org.testng » testng 6.87.11.0

Test Dependencies (3)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib » learnlib-basic-eqtests 0.9.1-ase2013-tutorial0.12.0

Apache 2.0		de.learnlib » learnlib-simulator 0.9.1-ase2013-tutorial0.12.0

Apache 2.0		de.learnlib » learnlib-cache 0.9.1-ase2013-tutorial0.18.0

Licenses

LicenseURL
GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 http://www.gnu.org/licenses/lgpl-3.0-standalone.html

Developers

NameEmailDev IdRolesOrganization
Falk Howarfalk.howar<at>gmail.comfalkhowar
Malte Isbernermalte.isberner<at>gmail.commisberner
Stephan Windmüllerstephan.windmueller<at>tu-dortmund.destovocor
Maik Mertenmaikmerten<at>googlemail.commerten
Oliver Baueroliver.bauer<at>tu-dortmund.deoliverbauer8