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.

Latest Versions

10 versions โ†’
VersionVulnerabilitiesUsagesDate
0.18.x
0.18.0
3
Feb 06, 2025
0.17.x
0.17.0
3
Nov 15, 2023
0.16.x
0.16.0
1
Oct 12, 2020
0.15.x
0.15.0
1
Feb 06, 2020
0.14.x
0.14.0
1
Feb 18, 2019
0.13.x
0.13.1
1
May 11, 2018
0.13.0
1
Feb 08, 2018
0.12.x
0.12.0
0
Jun 04, 2015
0.11.x
0.11.2
0
Apr 26, 2015
0.11.1
0
Jan 16, 2015
10 versions โ†’