Browsing by Author "Feng, Yuan"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters(Institute of electrical and electronics engineers, 2016) Su, Guoxin; Feng, Yuan; Chen, Taolue; Rosenblum, David S.