Experienced in automata learning using the LearnLib framework, specifically employing the L* and TTT algorithms for active learning and system verification.