Visible to the public Biblio

Filters: Author is Georgios Giantamidis  [Clear All Filters]
2018-05-14
Georgios Giantamidis, Stavros Tripakis.  2016.  Learning Moore Machines from Input-Output Traces. {FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :291–309.