Report - Foundations of Active Automata Learning: An …...automata, but one that can be regarded as a visibly pushdown version of the TTT algorithm, called T TT -V PA . This algorithm has

Please pass captcha verification before submit form