Synthesis from recursive-components libraries

MaRDI QIDQ4964712zbMATH OpenFDO

Authors Yoad Lustig, Moshe Y. Vardi

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1106.1228, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2011.1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Synthesis from Component Libraries
• Synthesis from probabilistic components
• Synthesis from probabilistic components
• Modular synthesis with open components
• The Complexity of Synthesis from Probabilistic Components

Cited in

(8)

• A general modular synthesis problem for pushdown systems
• Synthesis from component libraries with costs
• Synthesis from Component Libraries
• scientific article; zbMATH DE number 2080283 (Why is no real title available?)
• Visibly pushdown modular games
• Modular synthesis with open components
• Synthesis from probabilistic components
• Synthesis from component libraries with costs

This page was built for publication: Synthesis from recursive-components libraries

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