scientific article; zbMATH DE number 1332686

MaRDI QIDQ4260002zbMATH OpenFDO

Authors Franz Korf

Publication date 7 September 1999

zbMATH Keywords

Büchi automaton

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Lazy synthesis
• Safraless Compositional Synthesis
• Synthesis of Reactive(1) designs
• Synthesis of succinct systems
• Bounded Synthesis

Cited in

(2)

• Synthesis of succinct systems
• scientific article; zbMATH DE number 1321113 (Why is no real title available?)

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 Q4260002)