{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T05:24:46Z","timestamp":1751433886301,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005134","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":5,"title":["On strong determinacy of countable stochastic games"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Kiefer","sequence":"first","affiliation":[]},{"given":"Richard","family":"Mayr","sequence":"additional","affiliation":[]},{"given":"Mahsa","family":"Shirmohammadi","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Wojtczak","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2000.855763"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1998.743507"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70575-8_58"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11523468_72"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(4:7)2008"},{"key":"ref15","volume":"1","author":"feller","year":"1966","journal-title":"An Introduction to Probability Theory and Its Applications"},{"journal-title":"Competitive Markov Decision Processes","year":"1997","author":"filar","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973075.69"},{"journal-title":"On strong determinacy of countable stochastic games CoRR abs\/1704 05003","year":"2017","author":"kiefer","key":"ref18"},{"journal-title":"Determinacy and Optimal Strategies in Stochastic Games","year":"2009","author":"kr?\u00e1l","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.02.002"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00009-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973075.70"},{"key":"ref6","first-page":"291","article-title":"Strategy improvement for concurrent reachability games","author":"chatterjee","year":"2006","journal-title":"QEST"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.10.038"},{"key":"ref8","first-page":"121","article-title":"Quantitative stochastic parity games","author":"chatterjee","year":"2004","journal-title":"Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms SODA '04"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45220-1_11"},{"journal-title":"Probability and Measure","year":"1995","author":"billingsley","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90048-K"},{"key":"ref1","first-page":"4: 21","article-title":"Stochastic parity games on lossy channel systems","volume":"10","author":"abdulla","year":"2014","journal-title":"Logical Methods in Computer Science"},{"key":"ref20","article-title":"Turn-based stochastic games","author":"ku?era","year":"2011","journal-title":"Lectures in Game Theory for Computer Scientists"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2307\/2586667"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050071"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.39.10.1953"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813658"},{"key":"ref25","article-title":"The complexity of Nash equilibria in stochastic multi player games","volume":"7","author":"ummels","year":"2011","journal-title":"LMCS"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005134.pdf?arnumber=8005134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:39:41Z","timestamp":1569987581000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005134\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005134","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}