Multi-Objective Model Checking of Markov Decision Processes

[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 (305 KB) $bib$ bib

Notes: Logical Methods in Computer Science is an open-access journal. This paper is licensed under a Creative Commons license.

Links: [Google] [Google Scholar] [CiteSeer]

Available from: http://www.lmcs-online.org/ojs/viewarticle.php?id=364&layout=abstract

Publications