Q5089289 (Q5089289): 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 @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Bounding Average-Energy Games
@@ Property / cites work: Bounding Average-Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Average-energy games
@@ Property / cites work: Average-energy games / 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 @@
+Q5875369
@@ Property / cites work: Q5875369 / rank @@
+Normal rank
@@ Property / cites work @@
+Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
+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 @@
+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 @@
+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 @@
+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 @@
+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, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
+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 @@
+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 sequential Nash equilibrium
@@ Property / cites work: Infinite sequential Nash equilibrium / rank @@
+Normal rank
@@ Property / cites work @@
+Q5005142
@@ Property / cites work: Q5005142 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending finite-memory determinacy to multi-player games
+Normal rank
@@ Property / cites work @@
+Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank