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
LICS, 2011.
@inproceedings{LICS-2011-BrazdilBCFK, author = "Tomás Brázdil and Václav Brozek and Krishnendu Chatterjee and Vojtech Forejt and Antonín Kucera", booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2011.10", isbn = "978-0-7695-4412-0", pages = "33--42", publisher = "{IEEE Computer Society}", title = "{Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes}", year = 2011, }