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

Krishnendu Chatterjee, Zuzana Komrkov, Jan Kretnsk

Browse the full LICS paper archive.