Distribution estimation for probabilistic loops
From MaRDI portal
Publication:6103024
DOI10.1007/978-3-031-16336-4_2zbMath1522.68132arXiv2205.07639WikidataQ124212466 ScholiaQ124212466MaRDI QIDQ6103024
Ahmad Karimi, Ezio Bartocci, Marcel Moosbrugger, Laura Kovács, Miroslav Stankovič, Efstathia Bura
Publication date: 2 June 2023
Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.07639
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Moment information for probability distributions, without solving the moment problem. II: Main-mass, tails and shape approximation
- AQUA: automated quantized inference for probabilistic programs
- Statistical probabilistic model checking with a focus on time-bounded properties
- Probabilistic Inference by Program Transformation in Hakaru (System Description)
- Function reconstruction as a classical moment problem: a maximum entropy approach
- Asymptotic Approximations to Distributions
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- An Algorithm for Least-Squares Estimation of Nonlinear Parameters
- Probability
- The Early History of the Cumulants and the Gram‐Charlier Series
- Finding Polynomial Loop Invariants for Probabilistic Programs
- Introduction to Probability and Statistics for Engineers and Scientists
- An equilibrium characterization of the term structure
- Monte Carlo sampling methods using Markov chains and their applications
- The Kolmogorov-Smirnov Test for Goodness of Fit
- A method for the solution of certain non-linear problems in least squares
- Brownian Motion
- Tail probabilities for randomized program runtimes via martingales for higher moments
This page was built for publication: Distribution estimation for probabilistic loops
