Game-based Abstraction for Markov Decision Processes

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to conference (unpublished)Paper

56 Citations (Scopus)
Original languageEnglish
Pages157-166
Number of pages10
Publication statusPublished - 1 Jan 2006
EventProceedings of 3rd International Conference on Quantitative Evaluation of Systems (QEST'06) -
Duration: 1 Jan 2006 → …

Conference

ConferenceProceedings of 3rd International Conference on Quantitative Evaluation of Systems (QEST'06)
Period1/01/06 → …

Cite this