TY  - RPRT
TI  - Multi-Objective Model Checking of Markov Decision Processes
AU  - Kousha Etessami
AU  - Marta Kwiatkowska
AU  - Moshe Y. Vardi
AU  - Mihalis Yannakakis
PY  - 2008
DO  - 10.2168/lmcs-4(4:8)2008
UR  - https://arxiv.org/abs/0810.5728
ID  - 0810.5728
ER  -