Q3384895 (Q3384895): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Trade-off analysis meets probabilistic model checking
+Normal rank
@@ Property / cites work @@
+Maximizing the Conditional Expected Reward for Reaching the Goal
+Normal rank
@@ Property / cites work @@
+Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
+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 @@
+Markov Decision Processes with Multiple Long-Run Average Objectives
+Normal rank
@@ Property / cites work @@
+Q5278082
@@ Property / cites work: Q5278082 / rank @@
+Normal rank
@@ Property / cites work @@
+Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / 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 @@
+Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Stochastic Shortest Path Problem
+Normal rank
@@ Property / cites work @@
+Percentile queries in multi-dimensional Markov decision processes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3384895