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]

Authors

Georgios Giantamidis

This author has not been identified. Look up 'Georgios Giantamidis' in Google

Stavros Tripakis

This author has not been identified. It may be one of the following persons: Look up 'Stavros Tripakis' in Google

Stylianos Basagiannis

This author has not been identified. Look up 'Stylianos Basagiannis' in Google