Extending finite-memory determinacy to multi-player games

DOI10.1016/j.ic.2018.02.024zbMath1396.91045arXiv1602.08912OpenAlexW2964269976MaRDI QIDQ1641036

Arno Pauly, Stéphane Le Roux

Publication date: 14 June 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.08912

zbMATH Keywords

Nash equilibriumfinite memoryenergy parity gamesequilibrium transferfinite-memory determinacygames played on finite graphs

Mathematics Subject Classification ID

Games involving graphs (91A43) (n)-person games, (n>2) (91A06) Games on graphs (graph-theoretic aspects) (05C57)

Related Items (7)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equilibria in multi-player multi-outcome infinite sequential games ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Perfect information stochastic games and related classes
• Embedded software. Third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13--15, 2003. Proceedings
• Energy parity games
• The complexity of multi-mean-payoff and multi-energy games
• Nash Equilibrium in Generalised Muller Games.
• Pure Nash Equilibria in Concurrent Deterministic Games
• The Complexity of Nash Equilibria in Limit-Average Games
• Formally Reasoning About Quality
• Weihrauch Degrees of Finding Equilibria in Sequential Games
• A Deterministic Subexponential Algorithm for Solving Parity Games
• Multiplayer Cost Games with Simple Nash Equilibria
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Equilibria in Quantitative Reachability Games
• The determinacy of Blackwell games
• Infinite sequential games with real-valued payoffs
• Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
• Infinite sequential Nash equilibrium
• Parity and Streett Games with Costs
• On High-Quality Synthesis
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Extending finite-memory determinacy to multi-player games