Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926): Difference between revisions

@@ Property / describes a project that uses @@
+Mosek
@@ Property / describes a project that uses: Mosek / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iscasMc
@@ Property / describes a project that uses: iscasMc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2587263590
@@ Property / OpenAlex ID: W2587263590 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00063
@@ Property / arXiv ID: 1702.00063 / rank @@
+Normal rank
@@ Property / cites work @@
+Markovian Decision Processes with Uncertain Transition Probabilities
+Normal rank
@@ Property / cites work @@
+Q4178385
@@ Property / cites work: Q4178385 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast randomized consensus using shared memory
@@ Property / cites work: Fast randomized consensus using shared memory / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization with Polynomials and the Problem of Moments
+Normal rank
@@ Property / cites work @@
+A tutorial on geometric programming
@@ Property / cites work: A tutorial on geometric programming / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-objective Model Checking of Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Model Repair for Probabilistic Systems
@@ Property / cites work: Model Repair for Probabilistic Systems / rank @@
+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 @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
+Normal rank
@@ Property / cites work @@
+Precise parameter synthesis for stochastic biochemical systems
+Normal rank
@@ Property / cites work @@
+Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters
+Normal rank
@@ Property / cites work @@
+Smoothed model checking for uncertain continuous-time Markov chains
+Normal rank
@@ Property / cites work @@
+Real-time dynamic programming for Markov decision processes with imprecise probabilities
+Normal rank
@@ Property / cites work @@
+The Probabilistic Model Checking Landscape
@@ Property / cites work: The Probabilistic Model Checking Landscape / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter synthesis for Markov models: faster than ever
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3151174
@@ Property / cites work: Q3151174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank