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

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision ProcessesKrishnendu Chatterjee, Zuzana Komárková, Jan Kretínský. lics 2015: 244-256 [doi]

Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision ProcessesKrishnendu Chatterjee, Zuzana Kretínská, Jan Kretínský. lmcs, 13(2), 2017. [doi]

Markov Decision Processes with Multiple ObjectivesKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger. STACS 2006: 325-336 [doi]

Markov Decision Processes with Multiple Long-Run Average ObjectivesKrishnendu Chatterjee. fsttcs 2007: 473-484 [doi]

Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity ObjectivesKrishnendu Chatterjee, Laurent Doyen 0001. memics 2012: 37-46 [doi]

Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time ObjectivesTomás Brázdil, Vojtech Forejt, Antonín Kucera. icalp 2008: 148-159 [doi]

runs on WebDSL