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

Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera. Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. pages 33-42, IEEE Computer Society, 2011. [doi]

Authors

Tomás Brázdil

This author has not been identified. Look up 'Tomás Brázdil' in Google

Václav Brozek

This author has not been identified. Look up 'Václav Brozek' in Google

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google

Vojtech Forejt

This author has not been identified. Look up 'Vojtech Forejt' in Google

Antonín Kucera

This author has not been identified. Look up 'Antonín Kucera' in Google