# Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters

> Research article (IEEE Transactions on Software Engineering, 2015) · cited 17× · AI/ML

**Wikidata**: [openalex:W2343521561](https://www.wikidata.org/wiki/openalex:W2343521561)  
**Source**: https://4ort.xyz/entity/asymptotic-perturbation-bounds-for-probabilistic-model-checking-with-empirically-determined-probability-parameters