TY - GEN
T1 - Bayesian Statistical Model-Checking for Complex Stochastic Systems
AU - He, Jia
AU - Zhang, Min
AU - He, Kangli
AU - Guo, Yannan
AU - Lei, Yusi
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/8/10
Y1 - 2016/8/10
N2 - Probabilistic Model-Checking is a standard approach for automatically verifying stochastic systems. However, it becomes expensive or even intractable for classic approaches to verify complex systems. Statistical model-checking was proposed to overcome this limitation. In this paper, we propose a novel statistical model-checking approach which is based on Bayesian point estimation. Together with the Bayesian point estimation and a given conjugate prior distribution, we are able to predict the upper bound of sample size before sampling. We implement our techniques in a tool. Experiential results show that our approach is competitive, even better than other standard approaches in several cases.
AB - Probabilistic Model-Checking is a standard approach for automatically verifying stochastic systems. However, it becomes expensive or even intractable for classic approaches to verify complex systems. Statistical model-checking was proposed to overcome this limitation. In this paper, we propose a novel statistical model-checking approach which is based on Bayesian point estimation. Together with the Bayesian point estimation and a given conjugate prior distribution, we are able to predict the upper bound of sample size before sampling. We implement our techniques in a tool. Experiential results show that our approach is competitive, even better than other standard approaches in several cases.
KW - Bayesian Point Estimation
KW - Complex Stochastic Systems
KW - Conjugate Prior
KW - Statistical Model-Checking
UR - https://www.scopus.com/pages/publications/84988027285
U2 - 10.1109/TASE.2016.31
DO - 10.1109/TASE.2016.31
M3 - 会议稿件
AN - SCOPUS:84988027285
T3 - Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
SP - 38
EP - 41
BT - Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016
Y2 - 17 July 2016 through 19 July 2016
ER -