Infinite-duration bidding games
From MaRDI portal
Publication:5111634
Recommendations
Cites work
- scientific article; zbMATH DE number 5869590 (Why is no real title available?)
- scientific article; zbMATH DE number 988850 (Why is no real title available?)
- scientific article; zbMATH DE number 6096477 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 549853 (Why is no real title available?)
- Alternating-time temporal logic
- An abstraction-refinement methodology for reasoning about network games
- Analyzing scrip systems
- Approximating the termination value of one-counter MDPs and stochastic games
- Bidding games and efficient allocations
- Combinatorial games under auction play
- Computer Science Logic
- Congestion games with multisets of resources and applications in synthesis
- Controller Synthesis with Budget Constraints
- Degrees of lookahead in regular infinite games
- Discrete bidding games
- Dynamic resource allocation games
- Gambler's ruin probability -- a general formula
- Games with secure equilibria
- Hierarchical network formation games
- How Much Lookahead is Needed to Win Infinite Games?
- Infinite-duration bidding games
- Nash equilibria in concurrent games with Büchi objectives
- Network-formation games with regular objectives
- Non-zero sum games for reactive synthesis
- One-counter Markov decision processes
- Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion
- Rational synthesis
- Reasoning about strategies
- Repairing multi-player games
- Secure equilibria in weighted games
- Sequential auctions and externalities
- Strategy logic
- Subgame perfection for equilibria in quantitative reachability games
- The odds of staying on budget
- The sensing cost of monitoring and synthesis
- Timed network games
- Variations on the stochastic shortest path problem
Cited in
(8)- scientific article; zbMATH DE number 7327943 (Why is no real title available?)
- scientific article; zbMATH DE number 7649928 (Why is no real title available?)
- Infinite-duration Bidding Games
- Bidding games with charging
- Infinite-duration bidding games
- Infinite-duration poorman-bidding games
- Dynamic resource allocation games
- Bidding games on Markov decision processes
This page was built for publication: Infinite-duration bidding games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111634)
