Assume-Guarantee Synthesis
From MaRDI portal
Publication:5758113
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
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