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.
| License | Apache 2.0 |
|---|---|
| Ranking | #152083 in MvnRepository (See Top Artifacts) |
| Used By | 3 artifacts |
| Version | Vulnerabilities | Repository | Usages | Date | |
|---|---|---|---|---|---|
0.17.x | 0.17.0 | Central | Nov 15, 2023 | ||
0.16.x | 0.16.0 | Central | Oct 12, 2020 | ||
0.15.x | 0.15.0 | Central | Feb 06, 2020 | ||
0.14.x | 0.14.0 | Central | Feb 18, 2019 | ||
0.13.x | 0.13.1 | Central | May 11, 2018 | ||
| 0.13.0 | Central | Feb 08, 2018 | |||
0.12.x | 0.12.0 | Central | Jun 04, 2015 | ||
0.11.x | 0.11.2 | Central | Apr 26, 2015 | ||
| 0.11.1 | Central | Jan 16, 2015 | |||
0.10.x | 0.10.1 | Central | Jun 14, 2014 | ||
| 0.10.0 | Central | Apr 16, 2014 | |||
0.9.x | 0.9.1 | Central | Nov 07, 2013 | ||
| 0.9.1-ase2013-tutorial | Central |
0
| Nov 06, 2013 | ||
| 0.9.1-ase2013-tutorial-r1 | Central | Dec 13, 2013 | |||
| 0.9.0 | Central |
0
| Jun 25, 2013 |