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

Research output: Contribution to journalArticlepeer-review

Standard

A game-based abstraction-refinement framework for Markov decision processes. / Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David.

In: Formal Methods in System Design, Vol. 36, No. 3, 01.09.2010, p. 246-280.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

Bibtex

@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",

}

RIS

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

VL - 36

SP - 246

EP - 280

JO - Formal Methods in System Design

JF - Formal Methods in System Design

SN - 0925-9856

IS - 3

ER -