Output details
11 - Computer Science and Informatics
University of Glasgow
Article title
A game-based abstraction-refinement framework for Markov decision processes
Type
D - Journal article
Title of journal
Formal Methods in System Design
Article number
-
Volume number
36
Issue number
3
First page of article
246
ISSN of journal
0925-9856
Year of publication
2010
URL
-
Number of additional authors
3
Additional information
<11> This paper presents the first practical abstraction refinement framework for probabilistic systems. The theory in this paper is rigorously verified by mathematical proof. Its applicability has been demonstrated through subsequent papers which have applied the approach to the verification of probabilistic real-time systems (10.1007/978-3-642-04368-0_17) and probabilistic software (10.1007/978-3-540-93900-9_17). Both of these subsequent papers include case studies demonstrating that the framework can be applied to the analysis complex systems. The earlier conference version (10.1109/QEST.2006.19) has 79 citations and was awarded best paper at QEST'06.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
16
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
