Looking at mean-payoff and total-payoff through windows (Q2346404): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2015.03.010
@@ Property / DOI: 10.1016/j.ic.2015.03.010 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2015.03.010
+Normal rank
@@ Property / OpenAlex ID @@
+W1902461641
@@ Property / OpenAlex ID: W1902461641 / 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 @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Church Synthesis Problem for Noisy Input
@@ Property / cites work: Church Synthesis Problem for Noisy Input / 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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Finitary winning in ω-regular games
@@ Property / cites work: Finitary winning in ω-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958522
@@ Property / cites work: Q2958522 / rank @@
+Normal rank
@@ Property / cites work @@
+From liveness to promptness
@@ Property / cites work: From liveness to promptness / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis from LTL Specifications with Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Looking at Mean-Payoff and Total-Payoff through Windows
+Normal rank
@@ Property / cites work @@
+Cyclical games with prohibitions
@@ Property / cites work: Cyclical games with prohibitions / 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
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Cyclic games and an algorithm to find minimax cycle means in directed graphs
+Normal rank
@@ Property / cites work @@
+Mean Cost Cyclical Games
@@ Property / cites work: Mean Cost Cyclical Games / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
+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 @@
+Polynomial-time algorithms for energy games with special weight structures
+Normal rank
@@ Property / cites work @@
+A characterization of the minimum cycle mean in a digraph
+Normal rank
@@ Property / cites work @@
+Approximating the minimum cycle mean
@@ Property / cites work: Approximating the minimum cycle mean / rank @@
+Normal rank
@@ Property / cites work @@
+Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+Normal rank
@@ Property / cites work @@
+Games through Nested Fixpoints
@@ Property / cites work: Games through Nested Fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Perfect Information and Time Average Payoff
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2015.03.010
@@ Property / DOI: 10.1016/J.IC.2015.03.010 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2346404