scientific article; zbMATH DE number 7378357

DOI10.4230/LIPIcs.MFCS.2018.40MaRDI QIDQ5005142

Stéphane Le Roux

Publication date: 4 August 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graphinfinite durationabstract winning conditiontwo-player win/lose

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Time-aware uniformization of winning strategies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the positional determinacy of edge-labeled games
• On the reachability problem for 5-dimensional vector addition systems
• Borel determinacy
• Extending finite-memory determinacy to multi-player games
• Looking at mean-payoff and total-payoff through windows
• Average-energy games
• Concurrent games with tail objectives
• Parallel program schemata
• Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy
• From winning strategy to Nash equilibrium
• Finitary winning in ω-regular games
• Energy Parity Games
• Half-Positional Determinacy of Infinite Games
• The determinacy of Blackwell games
• Infinite sequential games with real-valued payoffs
• Infinite sequential Nash equilibrium
• Verification: Theory and Practice
• CONCUR 2005 – Concurrency Theory

This page was built for publication: