Simple Strategies in Multi-Objective MDPs (Q5039517): Difference between revisions

@@ Property / describes a project that uses @@
+Gurobi
@@ Property / describes a project that uses: Gurobi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3016295497
@@ Property / OpenAlex ID: W3016295497 / rank @@
+Normal rank
@@ Property / cites work @@
+Trade-off analysis meets probabilistic model checking
+Normal rank
@@ Property / cites work @@
+The 10,000 facets of MDP model checking
@@ Property / cites work: The 10,000 facets of MDP model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring the reliability of your model checker: interval iteration for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q3384895
@@ Property / cites work: Q3384895 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan
+Normal rank
@@ Property / cites work @@
+Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
+Normal rank
@@ Property / cites work @@
+Q5278082
@@ Property / cites work: Q5278082 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Decision Processes with Multiple Objectives
+Normal rank
@@ Property / cites work @@
+Verifying Team Formation Protocols with Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Multi-Objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Quantitative Multi-objective Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Pareto Curves for Probabilistic Model Checking
@@ Property / cites work: Pareto Curves for Probabilistic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-cost bounded reachability in MDP
@@ Property / cites work: Multi-cost bounded reachability in MDP / rank @@
+Normal rank
@@ Property / cites work @@
+Q5405225
@@ Property / cites work: Q5405225 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed-integer quadratic programming is in NP
@@ Property / cites work: Mixed-integer quadratic programming is in NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov automata with multiple objectives
@@ Property / cites work: Markov automata with multiple objectives / 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
@@ Property / cites work @@
+A Survey of Multi-Objective Sequential Decision-Making
+Normal rank
@@ Property / cites work @@
+Nondeterministic Polling Systems
@@ Property / cites work: Nondeterministic Polling Systems / rank @@
+Normal rank