learnlib-ttt-vpa
This artifact provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the
PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective"
(https://dx.doi.org/10.17877/DE290R-16359) by Malte Isberner.