Game-based Abstraction for Markov Decision Processes

Research output: Contribution to conference (unpublished) › Paper

56 Citations (Scopus)

Original language	English
Pages	157-166
Number of pages	10
Publication status	Published - 1 Jan 2006
Event	Proceedings of 3rd International Conference on Quantitative Evaluation of Systems (QEST'06) - Duration: 1 Jan 2006 → …

Conference	Proceedings of 3rd International Conference on Quantitative Evaluation of Systems (QEST'06)
Period	1/01/06 → …

Cite this

@conference{834652a8cfb84ff2be5c5f43e3f0eb5e,

title = "Game-based Abstraction for Markov Decision Processes",

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

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "157--166",

note = "Proceedings of 3rd International Conference on Quantitative Evaluation of Systems (QEST'06) ; Conference date: 01-01-2006",

}