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]
Download:  pdf pdf (305 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.lmcs-online.org/ojs/viewarticle.php?id=364&layout=abstract
Logical Methods in Computer Science is an open-access journal. This paper is licensed under a Creative Commons license.

>  Home

>  People

>  Projects

>  Publications


Useful links: