Two views on multiple mean-payoff objectives in Markov decision processes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2011, Pages 33-42

  Brázdil, Tomáš ^a   Brožek, Václav ^b   Chatterjee, Krishnendu ^c   Forejt, Vojtěch ^d   Kučera, Antonín ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA   (Austria)

^d UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROBLEMS; INFINITE MEMORY; MARKOV DECISION PROCESSES; MEMORYLESS; PARETO CURVE; POLYNOMIAL-TIME; RANDOMIZED STRATEGY; REWARD FUNCTION; TIME POLYNOMIALS; TRADE-OFF CURVES;

MARKOV PROCESSES; POLYNOMIAL APPROXIMATION;

COMPUTATION THEORY;

EID: 80052154134     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2011.10     Document Type: Conference Paper

References (17)

1. T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera. Two views on multiple mean-payoff objectives in Markov decision processes. Technical Report FIMU-RS-2011-02, FI MU, Brno, Czech Rep., 2011.
2. T. Brázdil, V. Brožek, and K. Etessami. One-counter stochastic games. In K. Lodaya and M. Mahajan, editors, FSTTCS, volume 8 of LIPIcs, pages 108-119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.
3. K. Chatterjee. Concurrent games with tail objectives. Theor. Comput. Sci., 388:181-198, December 2007. (Pubitemid 350081006)
4. K. Chatterjee. Markov decision processes with multiple long-run average objectives. In Proc. FSTTCS'07, pages 473-484. Springer, 2007.
5. K. Chatterjee, R. Majumdar, and T. Henzinger. Markov decision processes with multiple objectives. In Proc. STACS'06, pages 325-336. Springer, 2006. (Pubitemid 43990437)
6. C. Courcoubetis and M. Yannakakis. Markov decision processes and regular events. Automatic Control, IEEE Transactions on, 43(10):1399-1418, Oct. 1998. (Pubitemid 128737412)
7. K. Etessami, M. Kwiatkowska, M. Vardi, and M. Yannakakis. Multi-objective model checking of Markov decision processes. LMCS, 4(4):1-21, 2008.
8. J. Filar and K. Vrieze. Competitive Markov Decision Processes. Springer-Verlag, 1997.
9. V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, and H. Qu. Quantitative multi-objective verification for probabilistic systems. In Proc. TACAS'11, LNCS. Springer, 2011. To appear.
10. H. Gimbert and F. Horn. Solving simple stochastic tail games. In M. Charikar, editor, SODA, pages 847-862. SIAM, 2010.
11. J. Koski. Multicriteria truss optimization. In W. Stadler, editor, Multicriteria Optimization in Engineering and in the Sciences. Plenum Press, 1988.
12. G. Owen. Game Theory. Academic Press, 1995.
13. C. Papadimitriou and M. Yannakakis. On the approximability of tradeoffs and optimal access of web sources. In FOCS 00, pages 86-92. IEEE Press, 2000. (Pubitemid 32075881)
14. M. Puterman. Markov Decision Processes. John Wiley and Sons, 1994.
15. H. Royden. Real analysis. Prentice Hall, 3rd edition, 12 Feb. 1988.
16. R. Szymanek, F. Catthoor, and K. Kuchcinski. Time-energy design space exploration for multi-layer memory architectures. In DATE 04. IEEE, 2004.
17. P. Yang and F. Catthoor. Pareto-optimization based run time task scheduling for embedded systems. In CODES-ISSS 03, pages 120-125. ACM, 2003.