Infinite-Duration Bidding Games
From MaRDI portal
DOI10.4230/LIPIcs.CONCUR.2017.21zbMath1448.91061MaRDI QIDQ5111634
Ventsislav Chonev, Guy Avni, Thomas A. Henzinger
Publication date: 27 May 2020
Full work available at URL: https://doi.org/10.4230/lipics.concur.2017.21
91A05: 2-person games
91A43: Games involving graphs
91A20: Multistage and repeated games
05C57: Games on graphs (graph-theoretic aspects)
Related Items
Infinite-Duration Bidding Games, Unnamed Item, Infinite-duration poorman-bidding games, Dynamic resource allocation games
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Network-formation games with regular objectives
- Games with secure equilibria
- Discrete bidding games
- Strategy logic
- Combinatorial games under auction play
- An abstraction-refinement methodology for reasoning about network games
- Bidding games and efficient allocations
- Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion
- Gambler's ruin probability -- a general formula
- Non-Zero Sum Games for Reactive Synthesis
- Dynamic Resource Allocation Games
- Subgame Perfection for Equilibria in Quantitative Reachability Games
- Nash Equilibria in Concurrent Games with Büchi Objectives
- Analyzing Scrip Systems
- Approximating the Termination Value of One-Counter MDPs and Stochastic Games
- Hierarchical Network Formation Games
- The Odds of Staying on Budget
- Alternating-time temporal logic
- Controller Synthesis with Budget Constraints
- Rational Synthesis
- Degrees of Lookahead in Regular Infinite Games
- Secure equilibria in weighted games
- Infinite-Duration Bidding Games
- Variations on the Stochastic Shortest Path Problem
- Computer Science Logic
- How Much Lookahead is Needed to Win Infinite Games?