de.learnlib.algorithm.ttt.vpa
