Compositional Synthesis of Generalized Mealy Machines

Articolo
Data di Pubblicazione:
2004
Abstract:
We give an algorithm for synthesizing Generalized Mealy Machines from LTL-formulae. The main novelty of the paper is that the algorithm is compositional. Its complexity coincides with the lower bound of the synthesis problem.
Tipologia CRIS:
Articolo su Rivista
Keywords:
mealy machines; LTL; synthesis
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/1492717
Pubblicato in:
FUNDAMENTA INFORMATICAE
Journal