Modular Synthesis with Open Components

DOI10.1007/978-3-642-41036-9_10zbMath1407.68286OpenAlexW2181097666MaRDI QIDQ5168516

Salvatore La Torre, I. De Crescenzo

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

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

Related Items (3)

The Complexity of Synthesis from Probabilistic Components ⋮ Dynamic hierarchical reactive controller synthesis ⋮ Visibly pushdown modular games

This page was built for publication: Modular Synthesis with Open Components