Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
Authors:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.
Favorite  |  View/Download:180/0  |  Submit date:2018/07/30
Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming  
Asymptotic efficiency of perturbation-analysis-based stochastic approximation with averaging 期刊论文
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1999, 卷号: 37, 期号: 6, 页码: 1822-1847
Authors:  Tang, QY;  L'Ecuyer, P;  Chen, HF
Favorite  |  View/Download:142/0  |  Submit date:2018/07/30
perturbation analysis  asymptotic efficiency  central limit theorems  stochastic approximation  recursive estimation  queueing theory