loading...
Improving Stochastic Model Checking with Stochastic Bounds
Trento, Italy January 31-February 04
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SAINTW.2005.672005 Symposium on Applications and th ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
J. M. Fourneau, N. Pekergin, S. Younes, "Improving Stochastic Model Checking with Stochastic Bounds," Applications and the Internet Workshops, IEEE/IPSJ International Symposium on, pp. 264-267, 2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 2005.
 
 
BibTex
x
 
@article{ 10.1109/SAINTW.2005.67,
author = {J. M. Fourneau and N. Pekergin and S. Younes},
title = {Improving Stochastic Model Checking with Stochastic Bounds},
journal ={Applications and the Internet Workshops, IEEE/IPSJ International Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2263-7},
pages = {264-267},
doi = {http://doi.ieeecomputersociety.org/10.1109/SAINTW.2005.67},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Applications and the Internet Workshops, IEEE/IPSJ International Symposium on
TI - Improving Stochastic Model Checking with Stochastic Bounds
SN - 0-7695-2263-7
SP264
EP267
A1 - J. M. Fourneau,
A1 - N. Pekergin,
A1 - S. Younes,
PY - 2005
KW - null
VL - 0
JA - Applications and the Internet Workshops, IEEE/IPSJ International Symposium on
ER -
 
J. M. Fourneau, Université de Versailles Saint-Quentin en Yvelines
N. Pekergin, Université de Versailles Saint-Quentin en Yvelines and Universit Paris 1
S. Younes, Université de Versailles Saint-Quentin en Yvelines
Stochastic model checking requires the computation of steady-state or transient distribution for finite or infinite Markov chains for the evaluation of some formulas implying probabilities. However the numerical analysis of Markov chains is much less efficient than the sophisticated algorithmic techniques such as MTBDD developed for the deterministic model checking. We propose to simplify the numerical evaluation of probabilities using stochastic bounds. We show that this approach can be used to bound transient, steady-state and cumulative rewards and may help to evaluate efficiently formulas based on these rewards.
Citation:
J. M. Fourneau, N. Pekergin, S. Younes, "Improving Stochastic Model Checking with Stochastic Bounds," saint-w, pp.264-267, 2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 2005
Usage of this product signifies your acceptance of the Terms of Use.