l

learnlib-ttt

This artifact provides the implementation of the TTT algorithm as described in the paper "The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning" (https://doi.org/10.1007/978-3-319-11164-3_26) by Malte Isberner, Falk Howar, and Bernhard Steffen.
malte bernhard 11164 implementation this 3_26 active learning howar approach artifact steffen 1007 isberner paper falk provides redundancy https free automata 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
9 Records