Understanding Probabilistic Programs (Q3449623): Difference between revisions

@@ Property / author @@
-Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
-Normal rank
@@ Property / author @@
+Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+pGCL
@@ Property / describes a project that uses: pGCL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Figaro
@@ Property / describes a project that uses: Figaro / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2296309018
@@ Property / OpenAlex ID: W2296309018 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic relational reasoning for differential privacy
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Tabular
@@ Property / cites work: Tabular / rank @@
+Normal rank
@@ Property / cites work @@
+Conditioning in probabilistic programming
@@ Property / cites work: Conditioning in probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic guarded commands mechanized in HOL
@@ Property / cites work: Probabilistic guarded commands mechanized in HOL / 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 @@
+Linear-Invariant Generation for Probabilistic Programs:
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Probabilistic Programs
@@ Property / cites work: Verification of Probabilistic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5301801
@@ Property / cites work: Q5301801 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/birthday/KatoenGJKO15
@@ Property / DBLP publication ID: conf/birthday/KatoenGJKO15 / rank @@
+Normal rank