|
[CKK15]
Krishnendu Chatterjee, Zuzana Komarkova and Jan Kretinsky.
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.
In Proc. 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'15), pages 244-256.
2015.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|