Rational Synthesis

DOI10.1007/978-3-642-12002-2_16zbMath1284.68396OpenAlexW2912494578MaRDI QIDQ3557077

Orna Kupferman, Dana Fisman, Yoad Lustig

Publication date: 27 April 2010

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-642-12002-2_16

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items

Equilibria for games with combined qualitative and quantitative objectives ⋮ Active learning of sequential transducers with side information about the domain ⋮ An abstraction-refinement methodology for reasoning about network games ⋮ Unnamed Item ⋮ The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Synthesis with rational environments ⋮ Imperfect information in reactive modules games ⋮ A logic for conditional local strategic reasoning ⋮ Network-formation games with regular objectives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Dependences in Strategy Logic ⋮ Unnamed Item ⋮ Reasoning About Strategies ⋮ Infinite-duration poorman-bidding games ⋮ Cooperative concurrent games ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ On the complexity of rational verification ⋮ Coping with selfish on-going behaviors ⋮ The power of one evil secret agent ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Incentive Engineering for Concurrent Games ⋮ Unnamed Item ⋮ Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Unnamed Item ⋮ Multi-player games with LDL goals over finite traces ⋮ Hierarchical Network Formation Games ⋮ Dependences in strategy logic ⋮ Assume-admissible synthesis ⋮ Doomsday equilibria for omega-regular games ⋮ On High-Quality Synthesis ⋮ Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives ⋮ Dynamic resource allocation games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Complexity of Nash Equilibria in Limit-Average Games ⋮ Unnamed Item ⋮ Infinite-Duration Bidding Games ⋮ A game-theoretic approach for the synthesis of complex systems ⋮ Iterated Boolean games ⋮ Timed network games