Computing expected runtimes for constant probability programs (Q2305420): Difference between revisions

@@ Property / cites work @@
+Q4943605
@@ Property / cites work: Q4943605 / rank @@
+Normal rank
@@ Property / cites work @@
+The solution of linear probabilistic recurrence relations
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Integer Linear Programs
@@ Property / cites work: Termination of Integer Linear Programs / rank @@
+Normal rank
@@ Property / cites work @@
+One-Counter Stochastic Games
@@ Property / cites work: One-Counter Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing Expected Termination Time in One-Counter Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Analyzing probabilistic pushdown automata
@@ Property / cites work: Analyzing probabilistic pushdown automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automated recurrence analysis for almost-linear expected-runtime bounds
+Normal rank
@@ Property / cites work @@
+Stochastic invariants for probabilistic termination
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
+Normal rank
@@ Property / cites work @@
+Q4679023
@@ Property / cites work: Q4679023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5798359
@@ Property / cites work: Q5798359 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of triangular Integer loops is decidable
+Normal rank
@@ Property / cites work @@
+Termination of nondeterministic probabilistic programs
+Normal rank
@@ Property / cites work @@
+Computing expected runtimes for constant probability programs
+Normal rank
@@ Property / cites work @@
+Q2744679
@@ Property / cites work: Q2744679 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hardness of Almost–Sure Termination
@@ Property / cites work: On the Hardness of Almost–Sure Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Probabilistic recurrence relations
@@ Property / cites work: Probabilistic recurrence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+On Termination of Integer Linear Loops
@@ Property / cites work: On Termination of Integer Linear Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731217
@@ Property / cites work: Q5731217 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified tail bounds for randomized programs
@@ Property / cites work: Verified tail bounds for randomized programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank