@InProceedings{EKVY07,
author={K. Etessami and M. Kwiatkowska and M. Vardi and M. Yannakakis},
title={Multi-Objective Model Checking of {Markov} Decision Processes},
booktitle={Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)},
year={2007},

editor={O. Grumberg and M. Huth},
pages={50-65},
organization={},
publisher={Springer},
series={LNCS},
volume={4424},
address={},
month={},
note={},
key={}
}