Q5875382 (Q5875382): Difference between revisions

@@ Property / cites work @@
+Infinite-state energy games
@@ Property / cites work: Infinite-state energy games / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games on Integer Vectors
@@ Property / cites work: Solving Parity Games on Integer Vectors / 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 @@
+Battery transition systems
@@ Property / cites work: Battery transition systems / 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 @@
+Optimizing the expected mean payoff in energy Markov decision processes
+Normal rank
@@ Property / cites work @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided synthesis: a game-theoretic approach
+Normal rank
@@ Property / cites work @@
+On the complexity of heterogeneous multidimensional quantitative games
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Mean-payoff and Energy Games
@@ Property / cites work: Generalized Mean-payoff and Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Looking at mean-payoff and total-payoff through windows
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+Normal rank
@@ Property / cites work @@
+The Complexity of Mean-Payoff Pushdown Games
@@ Property / cites work: The Complexity of Mean-Payoff Pushdown Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144652
@@ Property / cites work: Q5144652 / rank @@
+Normal rank
@@ Property / cites work @@
+A pseudo-quasi-polynomial algorithm for mean-payoff parity games
+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 @@
+Energy Games in Multiweighted Automata
@@ Property / cites work: Energy Games in Multiweighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Bounds for Multiweighted and Parametrised Energy Games
+Normal rank
@@ Property / cites work @@
+Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Q4982350
@@ Property / cites work: Q4982350 / rank @@
+Normal rank
@@ Property / cites work @@
+Playing Games with Counter Automata
@@ Property / cites work: Playing Games with Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Multidimensional Mean-Payoff Games are Undecidable
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank