Games with secure equilibria
From MaRDI portal
Publication:854165
DOI10.1016/j.tcs.2006.07.032zbMath1108.91007OpenAlexW2100485490MaRDI QIDQ854165
Marcin Jurdziński, Krishnendu Chatterjee, Thomas A. Henzinger
Publication date: 7 December 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.032
Related Items
Synthesizing Protocols for Digital Contract Signing, An abstraction-refinement methodology for reasoning about network games, Buying optimal payoffs in bi-matrix games, Network-formation games with regular objectives, Incentive Stackelberg Mean-Payoff Games, On equilibria in quantitative games with reachability/safety objectives, Unnamed Item, Infinite-duration poorman-bidding games, Reasoning about Quality and Fuzziness of Strategic Behaviors, Augmenting ATL with strategy contexts, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On the Existence of Weak Subgame Perfect Equilibria, On the existence of weak subgame perfect equilibria, Equilibria in multi-player multi-outcome infinite sequential games, A Note on Game Theory and Verification, Hierarchical Network Formation Games, Assume-admissible synthesis, Nash equilibria in symmetric graph games with partial observation, Doomsday equilibria for omega-regular games, Unnamed Item, Unnamed Item, ATL with Strategy Contexts and Bounded Memory, Constrained existence problem for weak subgame perfect equilibria with \(\omega \)-regular Boolean objectives, Dynamic resource allocation games, Assume-guarantee synthesis for digital contract signing, Unnamed Item, Unnamed Item, Infinite-Duration Bidding Games, A game-theoretic approach for the synthesis of complex systems, Timed network games
Cites Work