Learning Moore machines from input-output traces

DOI10.1007/978-3-319-48989-6_18zbMath1427.68133arXiv1605.07805OpenAlexW3165566076MaRDI QIDQ2281639

Georgios Giantamidis, Stavros Tripakis

Publication date: 3 January 2020

Full work available at URL: https://arxiv.org/abs/1605.07805

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45)

Related Items (3)

Learning reward machines: a study in partially observable reinforcement learning ⋮ Probabilistic black-box reachability checking (extended version) ⋮ FSM inference from long traces

This page was built for publication: Learning Moore machines from input-output traces