Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities
Abstract elided by the publisher.
Related papers
- Probabilistic verification of fairness properties via concentration OOPSLA 2019
- Stochastic lambda calculus and monads of probability distributions POPL 2002
- Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs POPL 2016
- Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs TOPLAS 2018
- Quantitative analysis of assertion violations in probabilistic programs PLDI 2021
- Reactive probabilistic programming PLDI 2020
- AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty SAS 2025
- Central moment analysis for cost accumulators in probabilistic programs PLDI 2021