{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:46:21Z","timestamp":1760298381456,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T00:00:00Z","timestamp":1307318400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,6]]},"DOI":"10.1145\/1993636.1993665","type":"proceedings-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T11:53:52Z","timestamp":1307361232000},"page":"205-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Exact algorithms for solving stochastic games"],"prefix":"10.1145","author":[{"given":"Kristoffer Arnsfelt","family":"Hansen","sequence":"first","affiliation":[{"name":"University of Aarhus, Aarhus, Denmark"}]},{"given":"Michal","family":"Koucky","sequence":"additional","affiliation":[{"name":"Institute of Mathematics of the Czech Academy of Sciences, Prague, Czech Rep"}]},{"given":"Niels","family":"Lauritzen","sequence":"additional","affiliation":[{"name":"University of Aarhus, Aarhus, Denmark"}]},{"given":"Peter Bro","family":"Miltersen","sequence":"additional","affiliation":[{"name":"Aarhus University, Aarhus, Denmark"}]},{"given":"Elias P.","family":"Tsigaridas","sequence":"additional","affiliation":[{"name":"Aarhus University, Aarhus, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2011,6,6]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_2_1_1","DOI":"10.1007\/978-3-642-10631-6_13"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in Real Algebraic Geometry","author":"Basu S.","year":"2006","unstructured":"S. Basu , R. Pollack , and M. Roy . Algorithms in Real Algebraic Geometry . Springer , 2 nd edition, 2006 . S. Basu, R. Pollack, and M. Roy. Algorithms in Real Algebraic Geometry. Springer, 2nd edition, 2006.","edition":"2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_3_1","DOI":"10.1016\/j.jsc.2010.06.009"},{"key":"e_1_3_2_2_4_1","volume-title":"Introduction to Linear Optimization","author":"Bertsimas D.","year":"1997","unstructured":"D. Bertsimas and J.N. Tsitsiklis . Introduction to Linear Optimization . Athena Scientific , 1997 . D. Bertsimas and J.N. Tsitsiklis. Introduction to Linear Optimization. Athena Scientific, 1997."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_5_1","DOI":"10.1214\/aoms\/1177698513"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_6_1","DOI":"10.1109\/QEST.2006.48"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_7_1","DOI":"10.1007\/s00182-007-0110-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_8_1","DOI":"10.1016\/0890-5401(92)90048-K"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_9_1","DOI":"10.1016\/j.tcs.2007.07.008"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_10_1","DOI":"10.1145\/1837934.1837981"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_11_1","DOI":"10.1007\/11787006_28"},{"key":"e_1_3_2_2_12_1","volume-title":"Recursive concurrent stochastic games. Logical Methods in Comp. Sci., 4(4)","author":"Etessami K.","year":"2008","unstructured":"K. Etessami and M. Yannakakis . Recursive concurrent stochastic games. Logical Methods in Comp. Sci., 4(4) , 2008 . K. Etessami and M. Yannakakis. Recursive concurrent stochastic games. Logical Methods in Comp. Sci., 4(4), 2008."},{"key":"e_1_3_2_2_13_1","series-title":"Ann","first-page":"67","volume-title":"Contributions to the Theory of Games","author":"Everett H.","year":"1957","unstructured":"H. Everett . Recursive games . In Contributions to the Theory of Games Vol. III, volume 39 of Ann . Math. Studies, pages 67 -- 78 . Princeton University Press , 1957 . H. Everett. Recursive games. In Contributions to the Theory of Games Vol. III, volume 39 of Ann. Math. Studies, pages 67--78. Princeton University Press, 1957."},{"key":"e_1_3_2_2_14_1","series-title":"Ann","first-page":"179","volume-title":"Contributions to the Theory of Games III","author":"Gillette D.","year":"1957","unstructured":"D. Gillette . Stochastic games with zero stop probabilities . In Contributions to the Theory of Games III , volume 39 of Ann . Math. Studies, pages 179 -- 187 . Princeton University Press , 1957 . D. Gillette. Stochastic games with zero stop probabilities. In Contributions to the Theory of Games III, volume 39 of Ann. Math. Studies, pages 179--187. Princeton University Press, 1957."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_15_1","DOI":"10.5555\/2017990.2017997"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_16_1","DOI":"10.1109\/LICS.2009.44"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_17_1","DOI":"10.1007\/BF01769259"},{"key":"e_1_3_2_2_18_1","volume-title":"Mathematics for Computer Algebra","author":"Mignotte M.","year":"1991","unstructured":"M. Mignotte . Mathematics for Computer Algebra . Springer-Verlag , New York , 1991 . M. Mignotte. Mathematics for Computer Algebra. Springer-Verlag, New York, 1991."},{"key":"e_1_3_2_2_19_1","first-page":"627","volume-title":"Theory and App.","author":"Rao S.S.","year":"1973","unstructured":"S.S. Rao , R. Chandrasekaran , and K.P.K. Nair . Algorithms for discounted games. J. of Opt . Theory and App. , pages 627 -- 637 , 1973 . S.S. Rao, R. Chandrasekaran, and K.P.K. Nair. Algorithms for discounted games. J. of Opt. Theory and App., pages 627--637, 1973."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_20_1","DOI":"10.1073\/pnas.39.10.1953"},{"key":"e_1_3_2_2_21_1","volume-title":"Fundamental Problems of Algorithmic Algebra","author":"Yap C. K.","year":"2000","unstructured":"C. K. Yap . Fundamental Problems of Algorithmic Algebra . Oxford University Press , New York , 2000 . C. K. Yap. Fundamental Problems of Algorithmic Algebra. Oxford University Press, New York, 2000."}],"event":{"sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"acronym":"STOC'11","name":"STOC'11: Symposium on Theory of Computing","location":"San Jose California USA"},"container-title":["Proceedings of the forty-third annual ACM symposium on Theory of computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993636.1993665","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1993636.1993665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:00:05Z","timestamp":1750244405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993636.1993665"}},"subtitle":["extended abstract"],"short-title":[],"issued":{"date-parts":[[2011,6,6]]},"references-count":21,"alternative-id":["10.1145\/1993636.1993665","10.1145\/1993636"],"URL":"https:\/\/doi.org\/10.1145\/1993636.1993665","relation":{},"subject":[],"published":{"date-parts":[[2011,6,6]]},"assertion":[{"value":"2011-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}