{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:19:27Z","timestamp":1743113967009,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":17,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819606917"},{"type":"electronic","value":"9789819606924"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-981-96-0692-4_23","type":"book-chapter","created":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T05:45:21Z","timestamp":1739943921000},"page":"284-296","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Empirical Evaluation of\u00a0Algorithms for\u00a0Simple Stochastic Games"],"prefix":"10.1007","author":[{"given":"Cody","family":"Klingler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Subramani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,20]]},"reference":[{"unstructured":"de Bakker, J.W., D.S.S.: A theory of programs. In: Klop et al. J. W. de Bakker, 25 jaar semantiek (1989)","key":"23_CR1"},{"doi-asserted-by":"publisher","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. ACM 28(1), 114-133 (1981). https:\/\/doi.org\/10.1145\/322234.322243","key":"23_CR2","DOI":"10.1145\/322234.322243"},{"doi-asserted-by":"publisher","unstructured":"Chandra, A.K., Stockmeyer, L.J.: Alternation. In: 17th Annual Symposium on Foundations of Computer Science (sfcs 1976), pp. 98\u2013108 (1976). https:\/\/doi.org\/10.1109\/SFCS.1976.4","key":"23_CR3","DOI":"10.1109\/SFCS.1976.4"},{"doi-asserted-by":"publisher","unstructured":"Chatterjee, K., Fijalkow, N.: A reduction from parity games to simple stochastic games. Electron. Proc. Theor. Comput. Sci. 54, 74\u201386 (Jun 2011). https:\/\/doi.org\/10.4204\/EPTCS.54.6, http:\/\/arxiv.org\/abs\/1106.1232, arXiv:1106.1232 [cs]","key":"23_CR4","DOI":"10.4204\/EPTCS.54.6"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1090\/dimacs\/013\/04","volume":"13","author":"A Condon","year":"1990","unstructured":"Condon, A.: On algorithms for simple stochastic games. Advances in Computational Complexity Theory 13, 51\u201372 (1990)","journal-title":"Advances in Computational Complexity Theory"},{"doi-asserted-by":"crossref","unstructured":"Condon, A.: The complexity of stochastic games. Inf. Comput. 96(2), 203\u2013224 (1992)","key":"23_CR6","DOI":"10.1016\/0890-5401(92)90048-K"},{"unstructured":"Khachiyan, L.G.: A polynomial algorithm for linear programming (1979)","key":"23_CR7"},{"doi-asserted-by":"publisher","unstructured":"Klingler, C.W.: An Empirical Analysis of Algorithms for Simple Stochastic Games. Master\u2019s thesis, West Virginia University (2024). https:\/\/doi.org\/10.33915\/etd.11772","key":"23_CR8","DOI":"10.33915\/etd.11772"},{"doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$-calculus. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages and Programming, pp. 348\u2013359. Springer, Heidelberg (1982)","key":"23_CR9","DOI":"10.1007\/BFb0012782"},{"unstructured":"Li, S.H.Q., Ratliff, L.J., Kumar, P.: General sum stochastic games with networked information flows (2022)","key":"23_CR10"},{"unstructured":"Mary\u00a0Melekopoglou, A.C.: On the complexity of the policy iteration algorithm for simple stochastic games (1990)","key":"23_CR11"},{"doi-asserted-by":"crossref","unstructured":"Rudich, A., Rudich, I., Rue, R.: Simple stochastic stopping games: A generator and benchmark library. CoRR abs\/2402.02571 (2024)","key":"23_CR12","DOI":"10.1007\/978-3-031-73903-3_5"},{"doi-asserted-by":"crossref","unstructured":"Shapley, L.S.: Stochastic games. Proc. Natl. Acad. Sci. 39(10), 1095\u20131100 (1953)","key":"23_CR13","DOI":"10.1073\/pnas.39.10.1095"},{"doi-asserted-by":"publisher","unstructured":"Shapley, L.S.: Stochastic Games and Applications. Springer Netherlands (2003). https:\/\/doi.org\/10.1007\/978-94-010-0189-2","key":"23_CR14","DOI":"10.1007\/978-94-010-0189-2"},{"doi-asserted-by":"publisher","unstructured":"Tripathi, R., Valkanova, E., Kumar, V.S.A.: On strategy improvement algorithms for simple stochastic games. In: Calamoneri, T., Diaz, J. (eds.) Algorithms and Complexity, vol.\u00a06078, pp. 240\u2013251. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13073-1_22, http:\/\/link.springer.com\/10.1007\/978-3-642-13073-1_22","key":"23_CR15","DOI":"10.1007\/978-3-642-13073-1_22"},{"unstructured":"Venema, Y.: Lectures on the modal $$\\upmu $$-calculus. Lecture Notes (2020)","key":"23_CR16"},{"doi-asserted-by":"publisher","unstructured":"Wilke, T.: Alternating tree automata, parity games, and modal $$\\upmu $$-calculus. Bulletin of the Belgian Mathematical Society - Simon Stevin 8, April 2001. https:\/\/doi.org\/10.36045\/bbms\/1102714178","key":"23_CR17","DOI":"10.36045\/bbms\/1102714178"}],"container-title":["Lecture Notes in Computer Science","Multi-disciplinary Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0692-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T05:45:28Z","timestamp":1739943928000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0692-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819606917","9789819606924"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0692-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"20 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MIWAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Multi-disciplinary Trends in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pattaya","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"miwai2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/miwai24.miwai.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}