The Odds of Staying on Budget (Q3449479): Difference between revisions

@@ Property / cites work @@
+On the Complexity of Numerical Analysis
@@ Property / cites work: On the Complexity of Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Trade-off analysis meets probabilistic model checking
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417673
@@ Property / cites work: Q5417673 / rank @@
+Normal rank
@@ Property / cites work @@
+Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
+Normal rank
@@ Property / cites work @@
+Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Probabilistic Turing Machines
+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 @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+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 @@
+Q4139697
@@ Property / cites work: Q4139697 / 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 @@
+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