Concurrent games with tail objectives

Theoretical Computer Science

Volumn 388, Issue 1-3, 2007, Pages 181-198

  Chatterjee, Krishnendu ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Concurrent games; Muller objectives; Omega regular objectives; Tail objectives

Indexed keywords

CHEMICAL ANALYSIS; PROBABILITY; SET THEORY; STATE SPACE METHODS; STOCHASTIC MODELS;

CONCURRENT GAMES; MULLER OBJECTIVES; OMEGA-REGULAR OBJECTIVES; TAIL OBJECTIVES;

GAME THEORY;

EID: 36048930736     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2007.07.047     Document Type: Article

References (17)

1. Chatterjee K., de Alfaro L., and Henzinger T.A. Trading memory for randomness. QEST'04 (2004), IEEE Computer Society Press 206-217
2. Chatterjee K., de Alfaro L., and Henzinger T.A. The complexity of quantitative concurrent parity games. SODA'06 (2006), SIAM
3. Condon A. The complexity of stochastic games. Information and Computation 96 2 (1992) 203-224
4. Courcoubetis C., and Yannakakis M. The complexity of probabilistic verification. Journal of the ACM 42 4 (1995) 857-907
5. L. de Alfaro, Formal verification of probabilistic systems, Ph.D. Thesis, Stanford University, 1997
6. de Alfaro L., and Henzinger T.A. Concurrent omega-regular games. LICS 00 (2000), IEEE Computer Society Press 141-154
7. de Alfaro L., and Majumdar R. Quantitative solution of omega-regular games. STOC 01 (2001), ACM Press 675-683
8. Durrett R. Probability: Theory and Examples (1995), Duxbury Press
9. Filar J., and Vrieze K. Competitive Markov Decision Processes (1997), Springer-Verlag
10. Nash Jr. J.F. Equilibrium points in n-person games. Proceedings of the National Academy of Sciences USA 36 (1950) 48-49
11. Kechris A. Classical Descriptive Set Theory (1995), Springer
12. Martin D.A. The determinacy of Blackwell games. The Journal of Symbolic Logic 63 4 (1998) 1565-1581
13. Owen G. Game Theory (1995), Academic Press
14. Shapley L.S. Stochastic games. Proceedings of the National Academy of Sciences USA 39 (1953) 1095-1100
15. Thomas W. Languages, automata, and logic. Beyond Words. Handbook of Formal Languages vol. 3 (1997), Springer 389-455 (Chapter 7)
16. von Neumann J., and Morgenstern O. Theory of Games and Economic Behavior (1947), Princeton University Press
17. W.W. Wadge, Reducibility and determinateness of Baire spaces, Ph.D. Thesis, UC Berkeley, 1984