Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.

Toms Brzdil, Vclav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera

Browse the full LICS paper archive.