Krishnendu Chatterjee, Zuzana Komárková, Jan Kretínský
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
LICS, 2015.
@inproceedings{LICS-2015-ChatterjeeKK, author = "Krishnendu Chatterjee and Zuzana Komárková and Jan Kretínský", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.32", isbn = "978-1-4799-8875-4", pages = "244--256", publisher = "{IEEE}", title = "{Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes}", year = 2015, }