@Article{EKVY08,
author={K. Etessami and M. Kwiatkowska and M. Vardi and M. Yannakakis},
title={Multi-Objective Model Checking of {Markov} Decision Processes},
journal={Logical Methods in Computer Science},
year={2008},

volume={4},
number={4},
pages={1-21},
publisher={},
month={},
note={},
key={}
}