Paper: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (at LICS 2011)
Authors: Tomáš Brázdil Václav Brozek Krishnendu Chatterjee Vojtech Forejt Antonín Kučera
Abstract
No Abstract Available
BibTeX
@InProceedings{BrzdilBrozekChatter-TwoViewsonMultipleM, author = {Tomáš Brázdil and Václav Brozek and Krishnendu Chatterjee and Vojtech Forejt and Antonín Kučera}, title = {Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes}, booktitle = {Proceedings of the Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2011)}, year = {2011}, month = {June}, pages = {33--42}, location = {Toronto, Canada}, publisher = {IEEE Computer Society Press} }