PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games

Title:	PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games
Authors:	Wagner, D Piterman, N Huth, M Fecher, H
Item Type:	Journal Article
Issue Date:	1-Sep-2010
Citation:	Performance Evaluation Vol.( 67 ) No.( 9 ) pp 858 - 872
URI:	http://hdl.handle.net/10044/1/5708
Publisher Link:	http://dx.doi.org/10.1016/j.peva.2009.07.002
DOI:	10.1016/j.peva.2009.07.002
ISSN:	0166-5316
Publisher:	Elsevier
Start Page:	858
End Page:	872
Copyright Statement:	© 2009 Elsevier B.V. All rights reserved. NOTICE: this is the author’s version of a work that was submitted for publication in Performance Evaluation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in PERFORMANCE EVALUATION, VOL:67, ISSUE:9, (2009) DOI:10.1016/j.peva.2009.07.002
Volume:	67
Appears in Collections:	Computing Quantitative Analysis and Decision Science