Improving Stochastic Model Checking with Stochastic Bounds

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by J. M. Fourneau Articles by N. Pekergin Articles by S. Younes

2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)

Trento, Italy

January 31-February 04

ISBN: 0-7695-2263-7

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SAINTW.2005.67

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.