Synthesis with finite automata

DOI10.4171/AUTOMATA-2/11MaRDI QIDQ2244828zbMATH OpenOpenAlexFDO

Authors Igor Walukiewicz

Publication date 12 November 2021

Full work available at URL https://doi.org/10.4171/automata-2/11

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Review text

Summary: For the entire collection see [Zbl 1470.68002].

Recommendations

• Synthesis: words and traces
• Synthesizing reactive programs
• Verification and synthesis of reactive programs
• Synthesis of a nondeterministic automaton from its logical specification. I
• scientific article; zbMATH DE number 14487

Cited in

(2)

• scientific article; zbMATH DE number 4078822 (Why is no real title available?)
• scientific article; zbMATH DE number 3581614 (Why is no real title available?)

This page was built for publication: Synthesis with finite automata

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