{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T00:10:35Z","timestamp":1758672635405,"version":"3.44.0"},"reference-count":24,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.428.4","type":"journal-article","created":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T17:09:42Z","timestamp":1758042582000},"page":"29-44","source":"Crossref","is-referenced-by-count":0,"title":["Sound Value Iteration for Simple Stochastic Games"],"prefix":"10.4204","volume":"428","author":[{"given":"Muqsit","family":"Azeem","sequence":"first","affiliation":[{"name":"Technical University of Munich"}]},{"given":"Jan","family":"Kretinsky","sequence":"additional","affiliation":[{"name":"Masaryk University"}]},{"given":"Maximilian","family":"Weininger","sequence":"additional","affiliation":[{"name":"Ruhr-University Bochum"}]}],"member":"2720","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"volume-title":"Formal Verification of Probabilistic Systems","year":"1997","author":"de Alfaro","key":"dA97a"},{"key":"atva22ovi-tvi","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-031-19992-9_18","article-title":"Optimistic and Topological Value Iteration for Simple Stochastic Games","volume-title":"Automated Technology for Verification and Analysis","author":"Azeem","year":"2022"},{"key":"svi-sg-extended","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2411.11549","article-title":"Sound Value Iteration for Simple Stochastic Games","volume":"abs\/2411.11549","author":"Azeem","year":"2024","journal-title":"CoRR"},{"issue":"5","key":"bellman","first-page":"679","article-title":"A Markovian Decision Process","volume":"6","author":"Bellman","year":"1957","journal-title":"Journal of Mathematics and Mechanics"},{"issue":"3","key":"ssp","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1287\/moor.16.3.580","article-title":"An Analysis of Stochastic Shortest Path Problems","volume":"16","author":"Bertsekas","year":"1991","journal-title":"Math. Oper. Res."},{"key":"atva","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-11936-6_8","article-title":"Verification of Markov Decision Processes Using Learning Algorithms","volume-title":"ATVA","volume":"8837","author":"Br\u00e1zdil","year":"2014"},{"key":"visurvey","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-69850-0_7","article-title":"Value Iteration","volume-title":"25 Years of Model Checking","volume":"5000","author":"Chatterjee","year":"2008"},{"issue":"2","key":"condonComplexity","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0890-5401(92)90048-K","article-title":"The Complexity of Stochastic Games","volume":"96","author":"Condon","year":"1992","journal-title":"Inf. Comput."},{"key":"DBLP:conf\/dimacs\/Condon90","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1090\/dimacs\/013\/04","article-title":"On Algorithms for Simple Stochastic Games","volume-title":"Advances In Computational Complexity Theory","volume":"13","author":"Condon","year":"1993"},{"key":"TVI1","first-page":"181","article-title":"Topological Value Iteration Algorithms","volume":"42","author":"Dai","year":"2011","journal-title":"J. Artif. Intell. Res."},{"key":"Storm","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","article-title":"A Storm is Coming: A Modern Probabilistic Model Checker","volume-title":"Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II","volume":"10427","author":"Dehnert","year":"2017"},{"key":"KKKW18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104886","article-title":"Value iteration for simple stochastic games: Stopping criterion and learning algorithm","volume":"285","author":"Eisentraut","year":"2022","journal-title":"Inf. Comput."},{"key":"hm18","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2016.12.003","article-title":"Interval iteration algorithm for MDPs and IMDPs","volume":"735","author":"Haddad","year":"2018","journal-title":"Theor. Comput. Sci."},{"key":"revisedPractitionerGuide","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30823-9_24","article-title":"A Practitioner\u2019s Guide to MDP Model Checking Algorithms","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22\u201327, 2023, Proceedings, Part I","author":"Hartmanns","year":"2023"},{"key":"OVI","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1007\/978-3-030-53291-8_26","article-title":"Optimistic Value Iteration","volume-title":"CAV (2)","volume":"12225","author":"Hartmanns","year":"2020"},{"key":"DBLP:conf\/lics\/KretinskyMW23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS56636.2023.10175771","article-title":"Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives","volume-title":"LICS","author":"Kret\u00ednsk\u00fd","year":"2023"},{"key":"MaxiGandalf-journal","doi-asserted-by":"publisher","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":"prism4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of Probabilistic Real-Time Systems","volume-title":"CAV","volume":"6806","author":"Kwiatkowska","year":"2011"},{"key":"gandalf20","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.326.9","article-title":"Comparison of Algorithms for Simple Stochastic Games","volume":"326","author":"K\u0159et\u00ednsk\u00fd","year":"2020","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"wp","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-030-53291-8_19","article-title":"Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games","volume-title":"CAV (2)","volume":"12225","author":"Phalakarn","year":"2020"},{"key":"Puterman","series-title":"Wiley Series in Probability and Statistics","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman","year":"1994"},{"key":"DBLP:conf\/cav\/QuatmannK18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/978-3-319-96145-3_37","article-title":"Sound Value Iteration","volume-title":"CAV (1)","volume":"10981","author":"Quatmann","year":"2018"},{"issue":"10","key":"shapley","doi-asserted-by":"crossref","first-page":"1095","DOI":"10.1073\/pnas.39.10.1095","article-title":"Stochastic games","volume":"39","author":"Shapley","year":"1953","journal-title":"Proceedings of the national academy of sciences"},{"volume-title":"Solving Stochastic Games Reliably","year":"2022","author":"Weininger","key":"MaxiThesis"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T08:19:57Z","timestamp":1758615597000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2509.14112v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"references-count":24,"URL":"https:\/\/doi.org\/10.4204\/eptcs.428.4","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,9,16]]}}}