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.
Version0.9.1-ase2013-tutorialcompared with
Version Details
| 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial | |
|---|---|---|
| Release date | Dec 13, 2013 | Nov 06, 2013 |
| Licenses | LGPL 3.0 | LGPL 3.0 |
| Vulnerabilities | None | None |
Compile Changes (6)
| 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-core | 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial |
| ~ Updated | de.learnlib » learnlib-counterexamples | 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial |
| ~ Updated | de.learnlib » learnlib-test-support | 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial |
| ~ Updated | net.automatalib » automata-api | 0.3.1-ase2013-tutorial-r1 | 0.3.1-ase2013-tutorial |
| ~ Updated | net.automatalib » automata-core | 0.3.1-ase2013-tutorial-r1 | 0.3.1-ase2013-tutorial |
| ~ Updated | net.automatalib » automata-util | 0.3.1-ase2013-tutorial-r1 | 0.3.1-ase2013-tutorial |
Test Changes (3)
| 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | de.learnlib » learnlib-basic-eqtests | 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial |
| ~ Updated | de.learnlib » learnlib-cache | 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial |
| ~ Updated | de.learnlib » learnlib-simulator | 0.9.1-ase2013-tutorial-r1 | 0.9.1-ase2013-tutorial |