MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.

Toms Brzdil, Krishnendu Chatterjee, Vojtech Forejt, Antonn Kucera

Browse the full TACAS paper archive.