Output details
11 - Computer Science and Informatics
Imperial College London
Article title
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
Type
D - Journal article
Title of journal
Performance Evaluation
Article number
-
Volume number
67
Issue number
9
First page of article
858
ISSN of journal
0166-5316
Year of publication
2010
URL
-
Number of additional authors
3
Additional information
<11>This paper is a considerably extended journal version of a paper by the same authors, which was shortlisted for the best paper award of the international conference QEST 2008. Both papers rigorously develop Hintikka games for the important probabilistic, temporal logic PCTL and Markov chains in order to get a correspondence between winning strategies in games and truth in PCTL model checks. A significant foundational contribution of this work is the invention of these games, which generalize qualitative games known from first-order logic to probabilistic games. This work also laid the foundations for recent research on p-Automata.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Quantitative Analysis and Decision Science
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
