Learning Moore machines from input-output traces

Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis. Learning Moore machines from input-output traces. STTT, 23(1):1-29, 2021. [doi]

Abstract

Abstract is missing.