scientific article; zbMATH DE number 2104638

zbMATH Open1083.68062MaRDI QIDQ4818752FDOQ4818752

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

synthesisLTLMealy machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (8)

• Synthesis of Mealy machines using derivatives
• Coalgebraic Logic and Synthesis of Mealy Machines
• Title not available (Why is that?)
• 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)