Markov Decision Processes with Multiple Objectives - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger. Markov Decision Processes with Multiple Objectives. In Bruno Durand, Wolfgang Thomas, editors, STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings. Volume 3884 of Lecture Notes in Computer Science, pages 325-336, Springer, 2006. [doi]

The following publications are possibly variants of this publication:

Two Views on Multiple Mean-Payoff Objectives in Markov Decision ProcessesTomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera. lics 2011: 33-42 [doi]

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

Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi ObjectivesKrishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah. cav 2011: 260-276 [doi]

runs on WebDSL