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