{"day":"12","pubrep_id":"141","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"},{"last_name":"Nain","full_name":"Nain, Sumit","first_name":"Sumit"},{"full_name":"Vardi, Moshe","first_name":"Moshe","last_name":"Vardi"}],"page":"17","date_published":"2013-09-12T00:00:00Z","publisher":"IST Austria","date_created":"2018-12-12T11:39:10Z","ddc":["000","005"],"citation":{"short":"K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.","mla":"Chatterjee, Krishnendu, et al. <i>The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies</i>. IST Austria, 2013, doi:<a href=\"https://doi.org/10.15479/AT:IST-2013-141-v1-1\">10.15479/AT:IST-2013-141-v1-1</a>.","ama":"Chatterjee K, Doyen L, Nain S, Vardi M. <i>The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies</i>. IST Austria; 2013. doi:<a href=\"https://doi.org/10.15479/AT:IST-2013-141-v1-1\">10.15479/AT:IST-2013-141-v1-1</a>","ieee":"K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, <i>The complexity of partial-observation stochastic parity games with finite-memory strategies</i>. IST Austria, 2013.","apa":"Chatterjee, K., Doyen, L., Nain, S., &#38; Vardi, M. (2013). <i>The complexity of partial-observation stochastic parity games with finite-memory strategies</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2013-141-v1-1\">https://doi.org/10.15479/AT:IST-2013-141-v1-1</a>","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. <i>The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies</i>. IST Austria, 2013. <a href=\"https://doi.org/10.15479/AT:IST-2013-141-v1-1\">https://doi.org/10.15479/AT:IST-2013-141-v1-1</a>.","ista":"Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p."},"publication_identifier":{"issn":["2664-1690"]},"publication_status":"published","related_material":{"record":[{"id":"2213","relation":"later_version","status":"public"}]},"oa":1,"date_updated":"2025-04-15T07:56:00Z","oa_version":"Published Version","year":"2013","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","alternative_title":["IST Austria Technical Report"],"department":[{"_id":"KrCh"}],"title":"The complexity of partial-observation stochastic parity games with finite-memory strategies","status":"public","file_date_updated":"2020-07-14T12:46:46Z","file":[{"file_id":"5477","access_level":"open_access","file_name":"IST-2013-141-v1+1_main-tech-rpt.pdf","creator":"system","date_updated":"2020-07-14T12:46:46Z","file_size":300481,"checksum":"226bc791124f8d3138379778ce834e86","content_type":"application/pdf","date_created":"2018-12-12T11:53:16Z","relation":"main_file"}],"_id":"5408","has_accepted_license":"1","abstract":[{"lang":"eng","text":"We consider two-player partial-observation stochastic games where player 1 has partial observation and player 2 has perfect observation. The winning condition we study are omega-regular conditions specified as parity objectives. The qualitative analysis problem given a partial-observation stochastic game and a parity objective asks whether  there is a strategy to ensure that the objective is satisfied with probability 1 (resp. positive probability). While the qualitative analysis problems are known to be undecidable even for very special cases of parity objectives, they were shown to be decidable in 2EXPTIME under finite-memory  strategies. We improve the complexity and show that the qualitative analysis problems for partial-observation stochastic parity games under finite-memory strategies are \r\nEXPTIME-complete; and also establish optimal (exponential) memory bounds for finite-memory strategies required for qualitative analysis. "}],"doi":"10.15479/AT:IST-2013-141-v1-1","type":"technical_report","language":[{"iso":"eng"}],"month":"09"}