Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
From MaRDI portal
Publication:4635808
DOI10.1109/LICS.2015.32zbMath1401.68171arXiv1502.00611OpenAlexW1600623983MaRDI QIDQ4635808
Jan Křetínský, Krishnendu Chatterjee, Zuzana Komárková
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1502.00611
Other game-theoretic models (91A40) Markov and semi-Markov decision processes (90C40) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (5)
Compositional strategy synthesis for stochastic games with multiple objectives ⋮ An extended ϵ‐constraint method for a multiobjective finite‐horizon Markov decision process ⋮ Percentile queries in multi-dimensional Markov decision processes ⋮ Quantitative Automata under Probabilistic Semantics ⋮ Combinations of Qualitative Winning for Stochastic Parity Games
This page was built for publication: Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes