Output-decomposed Learning of Mealy Machines

Rick Koenders, Joshua Moerman

We present an active automata learning algorithm which learns a decomposition of a finite state machine, based on projecting onto individual outputs. This is dual to a recent compo…