Percentile queries in multi-dimensional Markov decision processes (Q5892424): Difference between revisions

@@ Property / author @@
-Jean-François Raskin
@@ Property / author: Jean-François Raskin / rank @@
-Normal rank
@@ Property / author @@
+Jean-François Raskin
@@ Property / author: Jean-François Raskin / 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.1007/s10703-016-0262-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1488036958
@@ Property / OpenAlex ID: W1488036958 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent games with tail objectives
@@ Property / cites work: Concurrent games with tail objectives / 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 @@
+Exact and Approximate Determinization of Discounted-Sum Automata
+Normal rank
@@ Property / cites work @@
+The Target Discounted-Sum Problem
@@ Property / cites work: The Target Discounted-Sum Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Solvency Markov Decision Processes with Interest
@@ Property / cites work: Solvency Markov Decision Processes with Interest / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Long-run Average Objectives
+Normal rank
@@ Property / cites work @@
+Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
+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 @@
+Multi-objective Discounted Reward Verification in Graphs and MDPs
+Normal rank
@@ Property / cites work @@
+Probabilistic Systems with LimSup and LimInf Objectives
+Normal rank
@@ Property / cites work @@
+Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Objectives
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+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 @@
+Q4270052
@@ Property / cites work: Q4270052 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Percentile performance criteria for limiting average Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+The Odds of Staying on Budget
@@ Property / cites work: The Odds of Staying on Budget / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the \(K\)th largest subset problem and related problems
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Selection in             <i>X</i>             +             <i>Y</i>             and Other Multisets
+Normal rank
@@ Property / cites work @@
+Optimal threshold probability in undiscounted Markov decision processes with a target set.
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Percentile queries in multi-dimensional Markov decision processes
+Normal rank
@@ Property / cites work @@
+Variations on the Stochastic Shortest Path Problem
+Normal rank
@@ Property / cites work @@
+Markov decision processes associated with two threshold probability criteria
+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 @@
+Fast convergence to state-action frequency polytopes for MDPs
+Normal rank
@@ Property / cites work @@
+The complexity of membership problems for circuits over sets of integers
+Normal rank
@@ Property / cites work @@
+Computing Quantiles in Markov Reward Models
@@ Property / cites work: Computing Quantiles in Markov Reward Models / rank @@
+Normal rank
@@ Property / cites work @@
+Minimising a threshold probability in discounted Markov decision processes
+Normal rank
@@ Property / cites work @@
+Minimizing risk models in Markov decision processes with policies depending on target values
+Normal rank