scientific article; zbMATH DE number 2104638

MaRDI QIDQ4818752zbMATH OpenFDO

Authors Simone Tini, Andrea Maggiolo-Schettini

Publication date 1 October 2004

Full work available at URL http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=367

zbMATH Keywords

synthesisLTLMealy machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Compositional algorithms for LTL synthesis
• Coalgebraic Logic and Synthesis of Mealy Machines
• Safraless Compositional Synthesis
• Synthesis of Mealy machines using derivatives
• Bounded Cycle Synthesis

Cited in

(8)

• Synthesis of Mealy machines using derivatives
• Coalgebraic Logic and Synthesis of Mealy Machines
• scientific article; zbMATH DE number 1236368 (Why is no real title available?)
• Safraless Compositional Synthesis
• Symbolic synthesis of Mealy machines from arithmetic bitstream functions
• Effective reductions of Mealy machines
• Compositional algorithms for LTL synthesis
• LTL reactive synthesis with a few hints

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4818752)