{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T21:40:02Z","timestamp":1748554802528,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319221762"},{"type":"electronic","value":"9783319221779"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22177-9_29","type":"book-chapter","created":{"date-parts":[[2015,8,3]],"date-time":"2015-08-03T10:05:43Z","timestamp":1438596343000},"page":"381-393","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Nearest Fixed Points and Concurrent Priority Games"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Karelovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wies\u0142aw","family":"Zielonka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,4]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Emerson, E., Jutla, C.: Tree automata, mu-calculus and determinacy. In: FOCS 1991, pp. 368\u2013377. IEEE Computer Society Press (1991)","DOI":"10.1109\/SFCS.1991.185392"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(01)00185-2","volume":"275","author":"I Walukiewicz","year":"2002","unstructured":"Walukiewicz, I.: Monadic second-order logic on tree-like structures. Theoret. Comput. Sci. 275, 311\u2013346 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-36078-6_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A McIver","year":"2002","unstructured":"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\u2013310. Springer, Heidelberg (2002)"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"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\u2013212. Elsevier (2005)","DOI":"10.1016\/j.entcs.2005.10.039"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.jcss.2003.07.009","volume":"68","author":"L de Alfaro","year":"2004","unstructured":"de Alfaro, L., Majumdar, R.: Quantitative solution to omega-regular games. J. Comput. Syst. Sci. 68, 374\u2013397 (2004)","journal-title":"J. Comput. Syst. Sci."},{"key":"29_CR6","doi-asserted-by":"publisher","first-page":"28:1","DOI":"10.1145\/1970398.1970404","volume":"12","author":"K Chatterjee","year":"2011","unstructured":"Chatterjee, K., de Alfaro, L., Henzinger, T.: Qualitative concurrent parity games. ACM Trans. Comput. Logic 12, 28:1\u201328:51 (2011)","journal-title":"ACM Trans. Comput. Logic"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Everett, H.: Recursive games. In: Contributions to the Theory of Games, vol. III, pp. 47\u201378. Princeton University Press (1957)","DOI":"10.1515\/9781400882151-004"},{"issue":"4","key":"29_CR8","doi-asserted-by":"publisher","first-page":"1565","DOI":"10.2307\/2586667","volume":"63","author":"D Martin","year":"1998","unstructured":"Martin, D.: The determinacy of Blackwell games. J. Symbolic Logic 63(4), 1565\u20131581 (1998)","journal-title":"J. Symbolic Logic"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013373. Kluwer Academic Publishers (2004)","DOI":"10.1007\/978-94-010-0189-2_24"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theoem and its aplications. Pacific J. Math. 5, 285\u2013309 (1955)","journal-title":"Pacific J. Math."},{"key":"29_CR11","unstructured":"Arnold, A., Niwi\u0144ski, D.: Rudiments of mu-calculus. Studies in Logic and the Foundations of Mathematics, vol. 146. Elsevier (2001)"},{"key":"29_CR12","volume-title":"Some Topics in Two-Person Games","author":"T Parthasarathy","year":"1971","unstructured":"Parthasarathy, T., Raghavan, T.: Some Topics in Two-Person Games. Elsevier, New York (1971)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22177-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T21:14:09Z","timestamp":1748553249000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22177-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319221762","9783319221779"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22177-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}