On the hardness of analyzing probabilistic programs (Q1733103): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2803490327
@@ Property / OpenAlex ID: W2803490327 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57800485
@@ Property / Wikidata QID: Q57800485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417853
@@ Property / cites work: Q4417853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943605
@@ Property / cites work: Q4943605 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic relational reasoning for differential privacy
+Normal rank
@@ Property / cites work @@
+Smoothed Complexity Theory
@@ Property / cites work: Smoothed Complexity Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447223
@@ Property / cites work: Q4447223 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic NetKAT
@@ Property / cites work: Probabilistic NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Probabilistic Turing Machines
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+Conditioning in probabilistic programming
@@ Property / cites work: Conditioning in probabilistic programming / 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 @@
+Inferring covariances for probabilistic programs
@@ Property / cites work: Inferring covariances for probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Linear-Invariant Generation for Probabilistic Programs:
+Normal rank
@@ Property / cites work @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Probability theory. A comprehensive course.
@@ Property / cites work: Probability theory. A comprehensive course. / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination by Monadic Affine Sized Typing
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers.
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Q5305630
@@ Property / cites work: Q5305630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Probabilistic Programs
@@ Property / cites work: Verification of Probabilistic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination of CHRiSM Programs
@@ Property / cites work: Probabilistic Termination of CHRiSM Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic termination versus fair termination
@@ Property / cites work: Probabilistic termination versus fair termination / rank @@
+Normal rank