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

File Description SizeFormat 
truth-falsity-pctl-markov-chain.pdfSubmitted version504.02 kBAdobe PDFDownload
Title: PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games
Author(s): Wagner, D
Piterman, N
Huth, M
Fecher, H
Item Type: Journal Article
Publication 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



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons