Abstraction of Expectation Functions Using Gaussian Distributions
No abstract available.
Related papers
- Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures POPL 2024
- Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming POPL 2026
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains TACAS 2024
- Smooth interpretation PLDI 2010
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022
- Raising expectations: automating expected cost analysis with types ICFP 2020
- When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way CAV 2012
- Level-p-complexity of Boolean functions using thinning, memoization, and polynomials JFP 2023