Infinite-Duration Bidding Games (Q5111634): Difference between revisions

@@ label / en / label / en @@
+Infinite-Duration Bidding Games
@@ Property / author @@
+Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357713
@@ Property / cites work: Q5357713 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275381
@@ Property / cites work: Q5275381 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3083813
@@ Property / cites work: Q3083813 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstraction-refinement methodology for reasoning about network games
+Normal rank
@@ Property / cites work @@
+Q5111251
@@ Property / cites work: Q5111251 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-Duration Bidding Games
@@ Property / cites work: Infinite-Duration Bidding Games / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Resource Allocation Games
@@ Property / cites work: Dynamic Resource Allocation Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275380
@@ Property / cites work: Q5275380 / rank @@
+Normal rank
@@ Property / cites work @@
+Network-formation games with regular objectives
@@ Property / cites work: Network-formation games with regular objectives / rank @@
+Normal rank
@@ Property / cites work @@
+Q3165947
@@ Property / cites work: Q3165947 / rank @@
+Normal rank
@@ Property / cites work @@
+Nash Equilibria in Concurrent Games with Büchi Objectives
+Normal rank
@@ Property / cites work @@
+Approximating the Termination Value of One-Counter MDPs and Stochastic Games
+Normal rank
@@ Property / cites work @@
+Q5417673
@@ Property / cites work: Q5417673 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Zero Sum Games for Reactive Synthesis
@@ Property / cites work: Non-Zero Sum Games for Reactive Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Subgame Perfection for Equilibria in Quantitative Reachability Games
+Normal rank
@@ Property / cites work @@
+Secure equilibria in weighted games
@@ Property / cites work: Secure equilibria in weighted games / rank @@
+Normal rank
@@ Property / cites work @@
+Games with secure equilibria
@@ Property / cites work: Games with secure equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Controller Synthesis with Budget Constraints
@@ Property / cites work: Controller Synthesis with Budget Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287357
@@ Property / cites work: Q4287357 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete bidding games
@@ Property / cites work: Discrete bidding games / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+The Odds of Staying on Budget
@@ Property / cites work: The Odds of Staying on Budget / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Lookahead in Regular Infinite Games
@@ Property / cites work: Degrees of Lookahead in Regular Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Scrip Systems
@@ Property / cites work: Analyzing Scrip Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bidding games and efficient allocations
@@ Property / cites work: Bidding games and efficient allocations / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion
+Normal rank
@@ Property / cites work @@
+Gambler's ruin probability -- a general formula
@@ Property / cites work: Gambler's ruin probability -- a general formula / rank @@
+Normal rank
@@ Property / cites work @@
+How Much Lookahead is Needed to Win Infinite Games?
+Normal rank
@@ Property / cites work @@
+Hierarchical Network Formation Games
@@ Property / cites work: Hierarchical Network Formation Games / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial games under auction play
@@ Property / cites work: Combinatorial games under auction play / rank @@
+Normal rank
@@ Property / cites work @@
+Q3123683
@@ Property / cites work: Q3123683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5743443
@@ Property / cites work: Q5743443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Stochastic Shortest Path Problem
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/lipics.concur.2017.21
+Normal rank
@@ Property / OpenAlex ID @@
+W2964073379
@@ Property / OpenAlex ID: W2964073379 / rank @@
+Normal rank
@@ Property / title @@
+Infinite-Duration Bidding Games (English)
@@ Property / title: Infinite-Duration Bidding Games (English) / rank @@
+Normal rank