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

Research output: Contribution to journalArticle

Colleges, School and Institutes

Details

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