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
大版本 版本 最近更新
0.17 0.17.0 2023-11-15 20:14:48
0.16 0.16.0 2020-10-12 17:57:32
0.15 0.15.0 2020-02-06 16:43:29
0.14 0.14.0 2019-02-18 21:53:38
0.13 0.13.1 2018-05-11 23:56:30
0.13.0 2018-02-08 18:58:26
0.12 0.12.0 2015-06-04 19:46:33
0.11 0.11.2 2015-04-27 04:46:22
0.11.1 2015-01-16 20:19:00
共9条记录