Abstract
As it is known the values of different states in parity games (deterministic parity games, or stochastic perfect information parity games or concurrent parity games) can be expressed by formulas of \(\mu \)-calculus – a fixed point calculus alternating the greatest and the least fixed points of monotone mappings on complete lattices.
In this paper we examine concurrent priority games that generalize parity games and we relate the value of such games to a new form of fixed point calculus – the nearest fixed point calculus.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Emerson, E., Jutla, C.: Tree automata, mu-calculus and determinacy. In: FOCS 1991, pp. 368–377. IEEE Computer Society Press (1991)
Walukiewicz, I.: Monadic second-order logic on tree-like structures. Theoret. Comput. Sci. 275, 311–346 (2002)
McIver, A., Morgan, C.: Games, probability and the quantitative \(\mu \)-calculus qmu. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514, pp. 292–310. Springer, Heidelberg (2002)
McIver, A., Morgan, C.: A novel stochastic game via the quantitative mu-calculus. In: Cerone, A., Wiklicky, H., (eds.) Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), ENTCS, vol. 153(2), pp. 195–212. Elsevier (2005)
de Alfaro, L., Majumdar, R.: Quantitative solution to omega-regular games. J. Comput. Syst. Sci. 68, 374–397 (2004)
Chatterjee, K., de Alfaro, L., Henzinger, T.: Qualitative concurrent parity games. ACM Trans. Comput. Logic 12, 28:1–28:51 (2011)
Everett, H.: Recursive games. In: Contributions to the Theory of Games, vol. III, pp. 47–78. Princeton University Press (1957)
Martin, D.: The determinacy of Blackwell games. J. Symbolic Logic 63(4), 1565–1581 (1998)
Maitra, A., Sudderth, W.: Stochastic games with Borel payoffs. In: Neyman, A., Sorin, S. (eds.) Stochastic Games and Applications, NATO Science Series C, Mathematical and Physical Sciences, vol. 570, pp. 367–373. Kluwer Academic Publishers (2004)
Tarski, A.: A lattice-theoretical fixpoint theoem and its aplications. Pacific J. Math. 5, 285–309 (1955)
Arnold, A., Niwiński, D.: Rudiments of mu-calculus. Studies in Logic and the Foundations of Mathematics, vol. 146. Elsevier (2001)
Parthasarathy, T., Raghavan, T.: Some Topics in Two-Person Games. Elsevier, New York (1971)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Karelovic, B., Zielonka, W. (2015). Nearest Fixed Points and Concurrent Priority Games. In: Kosowski, A., Walukiewicz, I. (eds) Fundamentals of Computation Theory. FCT 2015. Lecture Notes in Computer Science(), vol 9210. Springer, Cham. https://doi.org/10.1007/978-3-319-22177-9_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-22177-9_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22176-2
Online ISBN: 978-3-319-22177-9
eBook Packages: Computer ScienceComputer Science (R0)