79 citations · 87 across the 10 of their papers we have counts for
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…