Bounding Average-Energy Games (Q2988367): Difference between revisions

@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Markov decision processes and stochastic games with total effective payoff
+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 @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
+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 @@
+Strategy synthesis for multi-dimensional quantitative objectives
+Normal rank
@@ Property / cites work @@
+Mean-Payoff Pushdown Games
@@ Property / cites work: Mean-Payoff Pushdown Games / 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 @@
+Reachability in two-clock timed automata is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Reachability in succinct one-counter games
@@ Property / cites work: Reachability in succinct one-counter games / 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 @@
+A characterization of the minimum cycle mean in a digraph
+Normal rank
@@ Property / cites work @@
+Undecidability of Two-dimensional Robot Games
@@ Property / cites work: Undecidability of Two-dimensional Robot Games / rank @@
+Normal rank
@@ Property / cites work @@
+The bad match; a total reward stochastic game
@@ Property / cites work: The bad match; a total reward stochastic game / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+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