文章基本信息
- 标题：Multi-Objective Model Checking of Markov Decision Processes
- 本地全文：下载
- 作者：Kousha Etessami ; Marta Kwiatkowska ; Moshe Y. Vardi 等
- 期刊名称：Logical Methods in Computer Science
- 印刷版ISSN：1860-5974
- 电子版ISSN：1860-5974
- 出版年度：2008
- 卷号：4
- 期号：04
- DOI：10.2168/LMCS-4(4:8)2008
- 出版社：Technical University of Braunschweig
- 关键词：Markov Decision Processes;Model Checking;Probabilistic Systems;Graph-Theoretic Methods;Markov Decision Process
