Moment-based analysis of Bayesian network properties (Q2072070): Difference between revisions

@@ Property / describes a project that uses @@
+MRMC
@@ Property / describes a project that uses: MRMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIM
@@ Property / describes a project that uses: MIM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pyro
@@ Property / describes a project that uses: Pyro / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Figaro
@@ Property / describes a project that uses: Figaro / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2021.12.021
+Normal rank
@@ Property / OpenAlex ID @@
+W4200419269
@@ Property / OpenAlex ID: W4200419269 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124212471
@@ Property / Wikidata QID: Q124212471 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Bayesian networks via prob-solvable loops
+Normal rank
@@ Property / cites work @@
+A Tutorial on Learning with Bayesian Networks
@@ Property / cites work: A Tutorial on Learning with Bayesian Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446087
@@ Property / cites work: Q3446087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3655273
@@ Property / cites work: Q3655273 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of probabilistic inference using Bayesian belief networks
+Normal rank
@@ Property / cites work @@
+Approximating probabilistic inference in Bayesian belief networks is NP- hard
+Normal rank
@@ Property / cites work @@
+Importance sampling algorithms for Bayesian networks: principles and performance
+Normal rank
@@ Property / cites work @@
+How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
+Normal rank
@@ Property / cites work @@
+Q4031366
@@ Property / cites work: Q4031366 / rank @@
+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 @@
+Q4734791
@@ Property / cites work: Q4734791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3870155
@@ Property / cites work: Q3870155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic PDL
@@ Property / cites work: A probabilistic PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Linear-Invariant Generation for Probabilistic Programs:
+Normal rank
@@ Property / cites work @@
+Counterexample-guided polynomial loop invariant generation by Lagrange interpolation
+Normal rank
@@ Property / cites work @@
+Finding Polynomial Loop Invariants for Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Synthesizing Probabilistic Invariants via Doob’s Decomposition
+Normal rank
@@ Property / cites work @@
+Q4778698
@@ Property / cites work: Q4778698 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+A probability perspective
@@ Property / cites work: A probability perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Runtime analysis of probabilistic programs with unbounded recursion
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Automated termination analysis of polynomial probabilistic programs
+Normal rank