www.prismmodelchecker.org
[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 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]

Publications