Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.

Guoxin Su, David S. Rosenblum

Browse the full ICFEM paper archive.