Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger. Markov Decision Processes with Multiple Objectives. In Bruno Durand, Wolfgang Thomas, editors, STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings. Volume 3884 of Lecture Notes in Computer Science, pages 325-336, Springer, 2006. [doi]
Abstract is missing.