Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems

Guoxin Su, David S. Rosenblum

The majority of existing probabilistic model checking case studies are based on well understood theoretical models and distributions. However, real-life probabilistic systems usual…