Q5875381 (Q5875381): Difference between revisions

@@ 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 @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+First-cycle games
@@ Property / cites work: First-cycle games / 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 @@
+Infinite-Duration Bidding Games
@@ Property / cites work: Infinite-Duration Bidding Games / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-duration poorman-bidding games
@@ Property / cites work: Infinite-duration poorman-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 @@
+Q5092369
@@ Property / cites work: Q5092369 / 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 @@
+Bidding chess
@@ Property / cites work: Bidding chess / rank @@
+Normal rank
@@ Property / cites work @@
+Subgame Perfection for Equilibria in Quantitative Reachability Games
+Normal rank
@@ Property / cites work @@
+Nash Equilibrium for Upward-Closed Objectives
@@ Property / cites work: Nash Equilibrium for Upward-Closed Objectives / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative analysis of smart contracts
@@ Property / cites work: Quantitative analysis of smart contracts / 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 @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / 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 @@
+Automata, logics, and infinite games. A guide to current research
+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 @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / 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 @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Game Theory
@@ Property / cites work: Algorithmic Game Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tug-of-war and the infinity Laplacian
@@ Property / cites work: Tug-of-war and the infinity Laplacian / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q5005142
@@ Property / cites work: Q5005142 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5875381