Game-based Abstraction for Markov Decision Processes

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

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 → …