l

learnlib-nlstar

This artifact provides the implementation of the NL* learning algorithm as described in the paper "Angluin-Style Learning of NFA" (http://ijcai.org/Proceedings/09/Papers/170.pdf) by Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker.
bollig kern habermehl implementation angluin this leucker learning papers artifact ijcai benedikt paper peter carsten provides martin http style proceedings algorithm described
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
10 Records