Playing stochastic games precisely

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7454 LNCS, Issue , 2012, Pages 348-363

  Chen, Taolue ^a   Forejt, Vojtěch ^a   Kwiatkowska, Marta ^a   Simaitis, Aistis ^a   Trivedi, Ashutosh ^b   Ummels, Michael ^c  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLER SYNTHESIS; DISCOUNTED REWARD; EXPECTED VALUES; LOWER BOUNDS; MEMORY REQUIREMENTS; OBJECTIVE FUNCTIONS; OPTIMISATIONS; PAYOFF FUNCTION; POTENTIAL APPLICATIONS; REACHABILITY; STOCHASTIC GAME; STOPPING GAMES; SUFFICIENT CONDITIONS; TWO-PLAYER GAMES; WINNING STRATEGY;

ARTIFICIAL INTELLIGENCE;

GAME THEORY;

EID: 84866653287     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-32940-1_25     Document Type: Conference Paper

References (14)

1. Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., Kučera, A.: Two views on multiple mean-payoff objectives in Markov decision processes. In: LICS, pp. 33-42 (2011)
2. Cabot, A.N., Hannum, R.C.: Gaming regulation and mathematics: A marriage of necessity. John Marshall Law Review 35(3), 333-358 (2002)
3. Chatterjee, K., Henzinger, T.A.: A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2), 394-413 (2012)
4. Chatterjee, K., Majumdar, R., Henzinger, T.A.: Markov Decision Processes with Multiple Objectives. In: Durand, B., Thomas, W. (eds.) STACS 2006. LNCS, vol. 3884, pp. 325-336. Springer, Heidelberg (2006)
5. Chen, T., Forejt, V., Kwiatkowska, M., Simaitis, A., Trivedi, A., Ummels, M.: Playing stochastic games precisely. Technical Report No. CS-RR-12-03, Department of Computer Science, University of Oxford (June 2012)
6. Dziembowski, S., Jurdzinski, M., Walukiewicz, I.: How much memory is needed to win infinite games? In: LICS, pp. 99-110. IEEE Computer Society (1997)
7. Etessami, K., Kwiatkowska, M.Z., Vardi, M.Y., Yannakakis, M.: Multi-objective model checking of Markov decision processes. LMCS 4(4) (2008)
8. Filar, J., Vrieze, K.: Competitive Markov Decision Processes. Springer (1997)
9. Grädel, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games. LNCS, vol. 2500. Springer, Heidelberg (2002)
10. Neyman, A., Sorin, S. (eds.): Stochastic Games and Applications. NATO Science Series C, vol. 570. Kluwer Academic Publishers (2004)
11. Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley (1994)
12. Ramadge, P., Wonham, W.: The control of discrete event systems. Proc. IEEE 77(1) (1989)
13. Shapley, L.S.: Stochastic games. Proc. Nat. Acad. Sci. U.S.A. 39 (1953)
14. State of New Jersey, 214th legislature, as amended by the General Assembly on 01/10/2011 (November 2010), http://www.njleg.state.nj.us/2010/Bills/ S0500/12 R4.PDF