A general modular synthesis problem for pushdown systems

DOI10.1007/978-3-662-49122-5_24MaRDI QIDQ2796073zbMATH OpenOpenAlexFDO

Authors I. De Crescenzo, Salvatore La Torre

Publication date 23 March 2016

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

Full work available at URL https://doi.org/10.1007/978-3-662-49122-5_24

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular synthesis with open components
• Synthesis from Component Libraries
• Synthesis from recursive-components libraries
• The Complexity of Synthesis from Probabilistic Components
• Visibly pushdown modular games

Cited in

(2)

• Visibly pushdown modular games
• Modular synthesis with open components

This page was built for publication: A general modular synthesis problem for pushdown systems

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