Modular synthesis with open components

DOI10.1007/978-3-642-41036-9_10MaRDI QIDQ5168516zbMATH OpenOpenAlexFDO

Authors I. De Crescenzo, Salvatore La Torre

Publication date 7 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-41036-9_10

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A general modular synthesis problem for pushdown systems
• Synthesis from Component Libraries
• Synthesis from recursive-components libraries
• The Complexity of Synthesis from Probabilistic Components
• Synthesis from component libraries with costs

Cited in

(11)

• Synthesis from component libraries with costs
• A general modular synthesis problem for pushdown systems
• scientific article; zbMATH DE number 1441747 (Why is no real title available?)
• Synthesis from recursive-components libraries
• The Complexity of Synthesis from Probabilistic Components
• Synthesis from Component Libraries
• Synthesising features by games
• scientific article; zbMATH DE number 1956592 (Why is no real title available?)
• Synthesis from component libraries with costs
• Dynamic hierarchical reactive controller synthesis
• Visibly pushdown modular games

This page was built for publication: Modular synthesis with open components

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