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.
Newer Version Available
Licenses
| License | URL |
|---|---|
| GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 | http://www.gnu.org/licenses/lgpl-3.0-standalone.html |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Falk Howar | falk.howar<at>gmail.com | falkhowar | ||
| Malte Isberner | malte.isberner<at>gmail.com | misberner | ||
| Stephan Windmüller | stephan.windmueller<at>tu-dortmund.de | stovocor | ||
| Maik Merten | maikmerten<at>googlemail.com | merten | ||
| Oliver Bauer | oliver.bauer<at>tu-dortmund.de | oliverbauer8 |