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

Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum
一月 2016
引用 DOI
类型
期刊文章
出版物
IEEE Transactions on Software Engineering
Model Checking Markov Processes Probabilistic Logic Computational Modeling Mathematical Model Perturbation Methods Asymptotic Perturbation Bound Discrete-Time Markov Chain Numerical Iteration Optimization Parametric Markov Chain Perturbation Analysis Probabilistic Model Checking Quadratic Programming
冯元
冯元
教授