Learning Moore Machines from Input-Output Traces

Georgios Giantamidis, Stavros Tripakis

The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this…