Georgios Giantamidis, Stavros Tripakis
Learning Moore Machines from Input-Output Traces
FM, 2016.
@inproceedings{FM-2016-GiantamidisT,
author = "Georgios Giantamidis and Stavros Tripakis",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_18",
isbn = "978-3-319-48988-9",
pages = "291--309",
title = "{Learning Moore Machines from Input-Output Traces}",
year = 2016,
}