Home » de.learnlib » learnlib-counterexamples » 0.9.1-ase2013-tutorial-r1

LearnLib :: Commons :: Counterexamples » 0.9.1-ase2013-tutorial-r1

A collection of algorithms for handling counterexamples in automata learning

LicenseLGPL 3.0
DateDec 13, 2013
Filespom (1 KB)  jar (12 KB)  View All
RepositoriesCentralGeomajasSonatypeSpring Lib Release
Ranking#31011 in MvnRepository (See Top Artifacts)
Used By15 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 (3)

Category/License Group / ArtifactVersionUpdates

Apache 2.0		de.learnlib » learnlib-core 0.9.1-ase2013-tutorial-r10.18.0

Apache 2.0		net.automatalib » automata-api 0.3.1-ase2013-tutorial-r10.12.1
Testing
Apache 2.0		org.testng » testng 6.87.11.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