{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T08:00:55Z","timestamp":1764403255287,"version":"3.28.0"},"reference-count":49,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175771","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-14","source":"Crossref","is-referenced-by-count":8,"title":["Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives"],"prefix":"10.1109","author":[{"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"first","affiliation":[{"name":"Technical University of Munich,Garching Bei München,Germany"}]},{"given":"Tobias","family":"Meggendorfer","sequence":"additional","affiliation":[{"name":"Institute of Science and Technology Austria,Klosterneuburg,Austria"}]},{"given":"Maximilian","family":"Weininger","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Garching Bei München,Germany"}]}],"member":"263","reference":[{"key":"ref13","first-page":"488","article-title":"Optimistic value iteration","volume":"12225","author":"hartmanns","year":"2020","journal-title":"CAV (2)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_37"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104886"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394761"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_19"},{"journal-title":"Dynamic Programming and Markov Processes","year":"1960","author":"howard","key":"ref19"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_25"},{"key":"ref46","first-page":"609","article-title":"Conditional value-at-risk for reachability and mean payoff in markov decision processes","author":"kret\u00ednsk\u00fd","year":"0","journal-title":"Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science LICS 2018"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.12.5.359"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611977554.ch173"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i9.21222"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00188-3"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.02.002"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210339"},{"key":"ref43","article-title":"Formal verification of probabilistic systems","author":"de alfaro","year":"1997","journal-title":"Ph D Dissertation"},{"key":"ref49","first-page":"181","article-title":"Topological value iteration algorithms","volume":"42","author":"dai","year":"2011","journal-title":"J Artif Intell Res"},{"key":"ref8","article-title":"A Practitioner’s Guide to MDP Model Checking Algorithms","author":"hartmanns","year":"2023","journal-title":"TACAS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.12.003"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01769259"},{"key":"ref3","first-page":"179","article-title":"Stochastic games with zero stop probabilities","volume":"3","author":"gillette","year":"1957","journal-title":"Contributions to the Theory of Games"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1090\/dimacs\/013\/04"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1137\/1011093"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.2307\/2586667"},{"journal-title":"Competitive Markov Decision Processes","year":"2012","author":"filar","key":"ref34"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36046-6_10"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050071"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume":"wiley","author":"puterman","year":"1994","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10631-6_13"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_3"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01732644"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.39.10.1095"},{"article-title":"Stopping criteria for value iteration on stochastic games with quantitative objectives","year":"2023","author":"k?et\u00ednsk\u00fd","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005134"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.27"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_25"},{"key":"ref26","first-page":"102:1","article-title":"On the complexity of value iteration","volume":"132","author":"balaji","year":"0","journal-title":"ICALP"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(3:23)2011"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1102351.1102423"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"104885","DOI":"10.1016\/j.ic.2022.104885","article-title":"Comparison of algorithms for simple stochastic games","volume":"289","author":"kret\u00ednsk\u00fd","year":"2022","journal-title":"Inf Comput"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0183-7"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19992-9_20"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175771.pdf?arnumber=10175771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,7]],"date-time":"2023-08-07T17:37:27Z","timestamp":1691429847000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175771\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175771","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}