Unifying two views on multiple mean-payoff objectives in Markov decision processes

Krishnendu Chatterjee; Zuzana Komarkova; Jan Kretinsky

doi:10.1109/LICS.2015.32

Unifying two views on multiple mean-payoff objectives in Markov decision processes

Krishnendu Chatterjee, Zuzana Komarkova, Jan Kretinsky

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

21 Scopus citations

Original language	English
Title of host publication	Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	244-256
Number of pages	13
ISBN (Electronic)	9781479988754
DOIs	https://doi.org/10.1109/LICS.2015.32
State	Published - 31 Jul 2015
Externally published	Yes
Event	30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 - Kyoto, Japan Duration: 6 Jul 2015 → 10 Jul 2015

Publication series

Name	Proceedings - Symposium on Logic in Computer Science
Volume	2015-July
ISSN (Print)	1043-6871

Conference

Conference	30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015
Country/Territory	Japan
City	Kyoto
Period	6/07/15 → 10/07/15

Keywords

Limit average reward
Markov decision processes
Mean payoff

Access to Document

10.1109/LICS.2015.32

Cite this

Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. In Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 (pp. 244-256). Article 7174886 (Proceedings - Symposium on Logic in Computer Science; Vol. 2015-July). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/LICS.2015.32

@inproceedings{11472d71b90645639bbbd8b060a8cf19,

title = "Unifying two views on multiple mean-payoff objectives in Markov decision processes",

keywords = "Limit average reward, Markov decision processes, Mean payoff",

author = "Krishnendu Chatterjee and Zuzana Komarkova and Jan Kretinsky",

year = "2015",

month = jul,

day = "31",

doi = "10.1109/LICS.2015.32",

language = "English",

series = "Proceedings - Symposium on Logic in Computer Science",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "244--256",

booktitle = "Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015",

note = "30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 ; Conference date: 06-07-2015 Through 10-07-2015",

}

Chatterjee, K, Komarkova, Z & Kretinsky, J 2015, Unifying two views on multiple mean-payoff objectives in Markov decision processes. in Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015., 7174886, Proceedings - Symposium on Logic in Computer Science, vol. 2015-July, Institute of Electrical and Electronics Engineers Inc., pp. 244-256, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, 6/07/15. https://doi.org/10.1109/LICS.2015.32

Unifying two views on multiple mean-payoff objectives in Markov decision processes. / Chatterjee, Krishnendu; Komarkova, Zuzana; Kretinsky, Jan.
Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 244-256 7174886 (Proceedings - Symposium on Logic in Computer Science; Vol. 2015-July).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Unifying two views on multiple mean-payoff objectives in Markov decision processes

AU - Chatterjee, Krishnendu

AU - Komarkova, Zuzana

AU - Kretinsky, Jan

PY - 2015/7/31

Y1 - 2015/7/31

KW - Limit average reward

KW - Markov decision processes

KW - Mean payoff

UR - http://www.scopus.com/inward/record.url?scp=84945971393&partnerID=8YFLogxK

U2 - 10.1109/LICS.2015.32

DO - 10.1109/LICS.2015.32

M3 - Conference contribution

AN - SCOPUS:84945971393

T3 - Proceedings - Symposium on Logic in Computer Science

SP - 244

EP - 256

BT - Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015

Y2 - 6 July 2015 through 10 July 2015

ER -

Chatterjee K, Komarkova Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. In Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 244-256. 7174886. (Proceedings - Symposium on Logic in Computer Science). doi: 10.1109/LICS.2015.32

Unifying two views on multiple mean-payoff objectives in Markov decision processes

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this