Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2016.10.011
@@ Property / DOI: 10.1016/j.ic.2016.10.011 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2555847713
@@ Property / OpenAlex ID: W2555847713 / 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 @@
+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 @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / 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 @@
+An Analysis of Stochastic Shortest Path Problems
@@ Property / cites work: An Analysis of Stochastic Shortest Path Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270052
@@ Property / cites work: Q4270052 / rank @@
+Normal rank
@@ Property / cites work @@
+Looking at mean-payoff and total-payoff through windows
+Normal rank
@@ Property / cites work @@
+The complexity of the \(K\)th largest subset problem and related problems
+Normal rank
@@ Property / cites work @@
+Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
+Normal rank
@@ Property / cites work @@
+Q4994885
@@ Property / cites work: Q4994885 / rank @@
+Normal rank
@@ Property / cites work @@
+On short paths interdiction problems: Total and node-wise limited interdiction
+Normal rank
@@ Property / cites work @@
+Minimizing risk models in Markov decision processes with policies depending on target values
+Normal rank
@@ Property / cites work @@
+Percentile performance criteria for limiting average Markov decision processes
+Normal rank
@@ Property / cites work @@
+Percentile queries in multi-dimensional Markov decision processes
+Normal rank
@@ Property / cites work @@
+Trading Performance for Stability in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Variations on the Stochastic Shortest Path Problem
+Normal rank
@@ Property / cites work @@
+Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / 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 @@
+Games through Nested Fixpoints
@@ Property / cites work: Games through Nested Fixpoints / 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 @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / 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 @@
+Fast convergence to state-action frequency polytopes for MDPs
+Normal rank
@@ Property / cites work @@
+Hoeffding's inequality for uniformly ergodic Markov chains
+Normal rank
@@ Property / cites work @@
+Q4393471
@@ Property / cites work: Q4393471 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Probability Inequalities for Sums of Bounded Random Variables
+Normal rank
@@ Property / cites work @@
+A note on the complexity of cryptography (Corresp.)
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+PP is as Hard as the Polynomial-Time Hierarchy
@@ Property / cites work: PP is as Hard as the Polynomial-Time Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Selection in             <i>X</i>             +             <i>Y</i>             and Other Multisets
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+Normal rank
@@ Property / cites work @@
+Energy and Mean-Payoff Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Mean-Payoff Games with Partial-Observation
@@ Property / cites work: Mean-Payoff Games with Partial-Observation / rank @@
+Normal rank
@@ Property / cites work @@
+On Time with Minimal Expected Cost!
@@ Property / cites work: On Time with Minimal Expected Cost! / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2016.10.011
@@ Property / DOI: 10.1016/J.IC.2016.10.011 / rank @@
+Normal rank