Oxford logo
[EKVY08] K. Etessami, M. Kwiatkowska, M. Vardi and M. Yannakakis. Multi-Objective Model Checking of Markov Decision Processes. Logical Methods in Computer Science, 4(4), pages 1-21. 2008. [pdf] [bib]
Downloads:  pdf pdf (305 KB)  bib bib
Notes: Logical Methods in Computer Science is an open-access journal. This paper is licensed under a Creative Commons license.

QAV:

Home

People

Projects

Publications