Parametric Markov Chain

Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum
引用 DOI