Su, G. & Rosenblum, D. (2013). Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. Lecture Notes in Computer Science, 8144 297-312.
Su, G. & Rosenblum, D. (2013). Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. Lecture Notes in Computer Science, 8144 297-312.