{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T04:26:47Z","timestamp":1729052807616},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031739026","type":"print"},{"value":"9783031739033","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T00:00:00Z","timestamp":1729036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T00:00:00Z","timestamp":1729036800000},"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-3-031-73903-3_5","type":"book-chapter","created":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T21:01:53Z","timestamp":1729026113000},"page":"67-81","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Simple Stochastic Stopping Games: A Generator and\u00a0Benchmark Library"],"prefix":"10.1007","author":[{"given":"Avi","family":"Rudich","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-3106-1020","authenticated-orcid":false,"given":"Isaac","family":"Rudich","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0009-0009-0523-5275","authenticated-orcid":false,"given":"Rachel","family":"Rue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,16]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Altman, E., Avratchenkov, K., Bonneau, N., Debbah, M., El-Azouzi, R., Menasch\u00e9, D.S.: Constrained stochastic games in wireless networks. In: IEEE GLOBECOM 2007-IEEE Global Telecommunications Conference, pp. 315\u2013320. IEEE (2007)","DOI":"10.1109\/GLOCOM.2007.66"},{"key":"5_CR2","unstructured":"Auger, D., Coucheney, P., Strozecki, Y.: Solving simple stochastic games with few random nodes faster using Bland\u2019s rule. arXiv preprint arXiv:1901.05316 (2019)"},{"key":"5_CR3","unstructured":"Auger, D., de\u00a0Montjoye, X.B., Strozecki, Y.: A generic strategy iteration method for simple stochastic games. CoRR abs\/2102.04922 (2021)"},{"key":"5_CR4","unstructured":"Condon, A.: On algorithms for simple stochastic games. In: Advances in Computational Complexity Theory, vol. 13, pp. 51\u201372 (1990)"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0890-5401(92)90048-K","volume":"96","author":"A Condon","year":"1992","unstructured":"Condon, A.: The complexity of stochastic games. Inf. Comput. 96(2), 203\u2013224 (1992)","journal-title":"Inf. Comput."},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1014","DOI":"10.1007\/978-3-642-10631-6_102","volume-title":"Algorithms and Computation","author":"D Dai","year":"2009","unstructured":"Dai, D., Ge, R.: New results on simple stochastic games. In: Dong, Y., Du, D.-Z., Ibarra, O. (eds.) ISAAC 2009. LNCS, vol. 5878, pp. 1014\u20131023. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10631-6_102"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-78499-9_2","volume-title":"Foundations of Software Science and Computational Structures","author":"H Gimbert","year":"2008","unstructured":"Gimbert, H., Horn, F.: Simple stochastic games with few random vertices are easy to solve. In: Amadio, R. (ed.) FoSSaCS 2008. LNCS, vol. 4962, pp. 5\u201319. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78499-9_2"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s00453-007-0175-3","volume":"49","author":"N Halman","year":"2007","unstructured":"Halman, N.: Simple stochastic games, parity games, mean payoff games and discounted payoff games are all LP-type problems. Algorithmica 49, 37\u201350 (2007)","journal-title":"Algorithmica"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1007\/978-3-642-33090-2_55","volume-title":"Algorithms \u2013 ESA 2012","author":"R Ibsen-Jensen","year":"2012","unstructured":"Ibsen-Jensen, R., Miltersen, P.B.: Solving simple stochastic games with few coin toss positions. In: Epstein, L., Ferragina, P. (eds.) ESA 2012. LNCS, vol. 7501, pp. 636\u2013647. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33090-2_55"},{"key":"5_CR10","unstructured":"Klingler, C.W.: An empirical analysis of algorithms for simple stochastic games. Graduate theses, dissertations, and problem reports (2023)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"K\u0159et\u00ednsk\u00fd, J., Ramneantu, E., Slivinskiy, A., Weininger, M.: Comparison of algorithms for simple stochastic games. Inf. Comput. 289, 104885 (2022). Special Issue on 11th Int. Symp. on Games, Automata, Logics and Formal Verification","DOI":"10.1016\/j.ic.2022.104885"},{"issue":"10","key":"5_CR12","doi-asserted-by":"publisher","first-page":"1095","DOI":"10.1073\/pnas.39.10.1095","volume":"39","author":"LS Shapley","year":"1953","unstructured":"Shapley, L.S.: Stochastic games. Proc. Natl. Acad. Sci. 39(10), 1095\u20131100 (1953)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/3-540-55210-3_213","volume-title":"STACS 92","author":"M Sharir","year":"1992","unstructured":"Sharir, M., Welzl, E.: A combinatorial bound for linear programming and related problems. In: Finkel, A., Jantzen, M. (eds.) STACS 1992. LNCS, vol. 577, pp. 567\u2013579. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55210-3_213"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Tembine, H., Vilanova, P., Assaad, M., Debbah, M.: Mean field stochastic games for SINR-based medium access control. In: Gamecomm2011. pp. 10\u2013p (2011)","DOI":"10.4108\/icst.valuetools.2011.246480"},{"issue":"3","key":"5_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.jda.2011.03.007","volume":"9","author":"R Tripathi","year":"2011","unstructured":"Tripathi, R., Valkanova, E., Kumar, V.A.: On strategy improvement algorithms for simple stochastic games. J. Discrete Algorithms 9(3), 263\u2013278 (2011)","journal-title":"J. Discrete Algorithms"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Decision Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73903-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T21:02:41Z","timestamp":1729026161000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73903-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,16]]},"ISBN":["9783031739026","9783031739033"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73903-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,16]]},"assertion":[{"value":"16 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ADT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Algorithmic Decision Theory","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New Brunswick, NJ","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"14 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aldt2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/preflib.github.io\/adt2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}