1 paper · 1 filter
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…