A game-based abstraction-refinement framework for Markov decision processes
Research output: Contribution to journal › Article › peer-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 journal › Article › peer-review
Harvard
Kattenbelt, M, Kwiatkowska, M, Norman, G & Parker, D 2010, 'A game-based abstraction-refinement framework for Markov decision processes', Formal Methods in System Design, vol. 36, no. 3, pp. 246-280. https://doi.org/10.1007/s10703-010-0097-6
APA
Kattenbelt, M., Kwiatkowska, M., Norman, G., & Parker, D. (2010). A game-based abstraction-refinement framework for Markov decision processes. Formal Methods in System Design, 36(3), 246-280. https://doi.org/10.1007/s10703-010-0097-6
Vancouver
Kattenbelt M, Kwiatkowska M, Norman G, Parker D. A game-based abstraction-refinement framework for Markov decision processes. Formal Methods in System Design. 2010 Sep 1;36(3):246-280. https://doi.org/10.1007/s10703-010-0097-6
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 -