A game-based abstraction-refinement framework for Markov decision processes

Mark Kattenbelt; Marta Kwiatkowska; Gethin Norman; David Parker

doi:10.1007/s10703-010-0097-6

A game-based abstraction-refinement framework for Markov decision processes

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Computer Science

Research output: Contribution to journal › Article › peer-review

65 Citations (Scopus)

Original language	English
Pages (from-to)	246-280
Journal	Formal Methods in System Design
Volume	36
Issue number	3
DOIs	https://doi.org/10.1007/s10703-010-0097-6
Publication status	Published - 1 Sept 2010

Access to Document

10.1007/s10703-010-0097-6

Automated quantitative software verification with PRISM
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/01/07 → 31/03/10
Project: Research Councils
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M., Ghica, D. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils

Cite this

@article{9ec7511297044d99810852cc33999616,

title = "A game-based abstraction-refinement framework for Markov decision processes",

author = "Mark Kattenbelt and Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2010",

month = sep,

day = "1",

doi = "10.1007/s10703-010-0097-6",

language = "English",

volume = "36",

pages = "246--280",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - A game-based abstraction-refinement framework for Markov decision processes

AU - Kattenbelt, Mark

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2010/9/1

Y1 - 2010/9/1

U2 - 10.1007/s10703-010-0097-6

DO - 10.1007/s10703-010-0097-6

M3 - Article

SN - 0925-9856

VL - 36

SP - 246

EP - 280

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 3

ER -

A game-based abstraction-refinement framework for Markov decision processes

Access to Document

Projects

Automated quantitative software verification with PRISM

UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures

Cite this