Computer Science Logic

DOI10.1007/b100120zbMath1095.91001OpenAlexW2481899496MaRDI QIDQ5311283

Marcin Jurdziński, Rupak Majumdar, Krishnendu Chatterjee

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100120

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43) (n)-person games, (n>2) (91A06) Stochastic games, stochastic differential games (91A15)

Related Items (33)

An abstraction-refinement methodology for reasoning about network games ⋮ Synthesis with rational environments ⋮ Automatic verification of concurrent stochastic systems ⋮ Network-formation games with regular objectives ⋮ Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games ⋮ On equilibria in quantitative games with reachability/safety objectives ⋮ Unnamed Item ⋮ On Pure Nash Equilibria in Stochastic Games ⋮ Selfish cops and active robber: multi-player pursuit evasion on graphs ⋮ Infinite-duration poorman-bidding games ⋮ Randomness for free ⋮ A survey of stochastic \(\omega \)-regular games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Optimal strategies for selecting coordinators ⋮ A Note on Game Theory and Verification ⋮ Hierarchical Network Formation Games ⋮ Nash equilibria in symmetric graph games with partial observation ⋮ Selfish cops and passive robber: qualitative games ⋮ The complexity of solving reachability games using value and strategy iteration ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dynamic resource allocation games ⋮ The Complexity of Nash Equilibria in Infinite Multiplayer Games ⋮ Generalized cops and robbers: a multi-player pursuit game on graphs ⋮ Unnamed Item ⋮ Decision Problems for Nash Equilibria in Stochastic Games ⋮ A note on the Nash equilibria of some multi-player reachability/safety games ⋮ Infinite-Duration Bidding Games ⋮ A game-theoretic approach for the synthesis of complex systems ⋮ Timed network games

This page was built for publication: Computer Science Logic