Assume-Guarantee Synthesis

DOI10.1007/978-3-540-71209-1_21zbMath1186.68284OpenAlexW1608875152MaRDI QIDQ5758113

Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_21

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Synthesizing Protocols for Digital Contract Signing, Graph Games and Reactive Synthesis, Compositional strategy synthesis for stochastic games with multiple objectives, Compositional synthesis of modular systems, Compositional Control Synthesis for Partially Observable Systems, Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition, On the relation between reactive synthesis and supervisory control of non-terminating processes, Synthesizing Computable Functions from Rational Specifications Over Infinite Words, Strategy construction for parity games with imperfect information, On the Existence of Weak Subgame Perfect Equilibria, On the existence of weak subgame perfect equilibria, Assume-admissible synthesis, Strategy logic, Distributed synthesis for parameterized temporal logics, Assume-guarantee synthesis for digital contract signing