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

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to journalArticlepeer-review

65 Citations (Scopus)
Original languageEnglish
Pages (from-to)246-280
JournalFormal Methods in System Design
Volume36
Issue number3
DOIs
Publication statusPublished - 1 Sep 2010

Cite this