scientific article; zbMATH DE number 7327943
From MaRDI portal
Guy Avni, Milad Aghajohari, Thomas A. Henzinger
Publication date: 26 March 2021
Full work available at URL: https://arxiv.org/abs/1905.03588
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item, A Survey of Bidding Games on Graphs (Invited Paper), Time-aware uniformization of winning strategies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Network-formation games with regular objectives
- First-cycle games
- Games with secure equilibria
- Discrete bidding games
- Strategy logic
- Borel determinacy
- Combinatorial games under auction play
- An abstraction-refinement methodology for reasoning about network games
- Bidding games and efficient allocations
- Infinite-duration poorman-bidding games
- Bidding chess
- Quantitative analysis of smart contracts
- Dynamic Resource Allocation Games
- Subgame Perfection for Equilibria in Quantitative Reachability Games
- Reasoning About Strategies
- Tug-of-war and the infinity Laplacian
- Hierarchical Network Formation Games
- Alternating-time temporal logic
- Rational Synthesis
- Nash Equilibrium for Upward-Closed Objectives
- The determinacy of Blackwell games
- Infinite-duration Bidding Games
- Computer Science Logic
- Algorithmic Game Theory
- Decidability of Second-Order Theories and Automata on Infinite Trees
