l

learnlib-dhc

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.
maik merten direct 34781 learning artifact steffen paper 8_19 falk provides tiziana construction https algorithm described bernhard implementation this howar margaria with 1007 automata hypothesis
Aggregated version Version Update time
0.17 0.17.0 Nov 15, 2023
0.16 0.16.0 Oct 12, 2020
0.15 0.15.0 Feb 06, 2020
0.14 0.14.0 Feb 18, 2019
0.13 0.13.1 May 11, 2018
0.13.0 Feb 08, 2018
0.12 0.12.0 Jun 04, 2015
0.11 0.11.2 Apr 27, 2015
0.11.1 Jan 16, 2015
0.10 0.10.1 Jun 14, 2014
0.10.0 Apr 17, 2014
0.9 0.9.1-ase2013-tutorial-r1 Dec 13, 2013
0.9.1 Nov 07, 2013
0.9.1-ase2013-tutorial Nov 07, 2013
0.9.0 Jun 26, 2013
15 Records