Tail-Bound Cost Analysis over Nondeterministic Probabilistic Programs

For probabilistic programs, there is some work for qualitative and quantitative analysis about expectation or mean, such as expected termination time, and expected cost analysis. However, another non-trivial issue is about tail bounds (i.e., upper bounds of tail probabilities), which can provide hig...

Ausführliche Beschreibung