3 papers
stat.AP2023
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovič +2
Many stochastic continuous-state dynamical systems can be modeled as probabilistic programs with nonlinear non-polynomial updates in non-nested loops. We present two methods, one a…
cs.PL2023
(Un)Solvable Loop Analysis
Daneshvar Amrollahi, Ezio Bartocci, George Kenison +3
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a challenging open problem. Whilst the…
stat.CO2022
Distribution Estimation for Probabilistic Loops
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovič +3
We present an algorithmic approach to estimate the value distributions of random variables of probabilistic loops whose statistical moments are (partially) known. Based on these mo…