Q5028465 (Q5028465): Difference between revisions

@@ Property / cites work @@
+First-cycle games
@@ Property / cites work: First-cycle games / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Games and Reactive Synthesis
@@ Property / cites work: Graph Games and Reactive Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5141616
@@ Property / cites work: Q5141616 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the boundary of half-positionality
@@ Property / cites work: Exploring the boundary of half-positionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015274
@@ Property / cites work: Q5015274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875382
@@ Property / cites work: Q5875382 / rank @@
+Normal rank
@@ Property / cites work @@
+Q6134270
@@ Property / cites work: Q6134270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5021008
@@ Property / cites work: Q5021008 / rank @@
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Looking at mean-payoff and total-payoff through windows
+Normal rank
@@ Property / cites work @@
+Finitary winning in ω-regular games
@@ Property / cites work: Finitary winning in ω-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Parity Games
@@ Property / cites work: Generalized Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+Normal rank
@@ Property / cites work @@
+Simple Strategies in Multi-Objective MDPs
@@ Property / cites work: Simple Strategies in Multi-Objective MDPs / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Trading Bounds for Memory in Games with Counters
@@ Property / cites work: Trading Bounds for Memory in Games with Counters / rank @@
+Normal rank
@@ Property / cites work @@
+Q5240587
@@ Property / cites work: Q5240587 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure Stationary Optimal Strategies in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Deciding Maxmin Reachability in Half-Blind Stochastic Games
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6--10, 2015. Proceedings. Part II
+Normal rank
@@ Property / cites work @@
+Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Half-Positional Determinacy of Infinite Games
@@ Property / cites work: Half-Positional Determinacy of Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Extending finite-memory determinacy to multi-player games
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank