Output details
11 - Computer Science and Informatics
Newcastle University
Output title
Statistical model checking for Markov decision processes
Type
E - Conference contribution
Name of conference/published proceedings
9th International Conference on Quantitative Evaluation of SysTems (QEST)
Volume number
-
Issue number
-
First page of article
84
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
4
Additional information
<07> This paper presents the first technique for verifying Markov decision processes through simulation. As a result of this work I was invited speaker at the Quantitative Aspects of Programming Languages and Systems (QAPL) workshop, 24/03/2013, Rome. This work directly led to a $875,000 (£550,000) grant from the US Air Force Office of Scientific Research (award no. FA95501210146) in collaboration with a US company (SIFT, David Musliner - musliner@sift.net). This paper was presented at QEST - Quantitative Evaluation of Systems, the leading conference on system evaluation.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Biology, Neurosciences and Computing
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
