{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:52:50Z","timestamp":1757314370586,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005100","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-11","source":"Crossref","is-referenced-by-count":5,"title":["Parity objectives in countable MDPs"],"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":"Wojtczakz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","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"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90048-K"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11523468_72"},{"key":"ref14","volume":"1","author":"feller","year":"1966","journal-title":"An Introduction to Probability Theory and Its Applications"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36387-4","author":"gr\u00e4del","year":"2002","journal-title":"Automata Logic and Infinite Games Volume LNCS 2500"},{"journal-title":"Technical Report","year":"2017","author":"kiefer","key":"ref16"},{"journal-title":"Controlled Queuing Systems","year":"1995","author":"kitaev","key":"ref17"},{"journal-title":"Determinacy and Optimal Strategies in Stochastic Games","year":"2009","author":"kr?\u00e1l","key":"ref18"},{"key":"ref19","article-title":"Turn-based stochastic games","author":"ku?era","year":"2011","journal-title":"Lectures in Game Theory for Computer Scientists"},{"journal-title":"Probability and Measure","year":"1995","author":"billingsley","key":"ref4"},{"key":"ref3","first-page":"61","article-title":"Solvency games","author":"berger","year":"2008","journal-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 2008 December 9-11 2008"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.02.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973075.70"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348035"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.09.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1297658.1297663"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.05.002"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5_19"},{"key":"ref20","first-page":"157","article-title":"Regular expressions for infinite trees and a standard form of automata","author":"mostowski","year":"1984","journal-title":"Computation Theory 208 of LNCS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.23.2.117"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1969-0253756-8"},{"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":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.12"}],"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\/08005100.pdf?arnumber=8005100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:38:58Z","timestamp":1569987538000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005100","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}