{"intvolume":" 6397","volume":6397,"publist_id":"2323","year":"2010","file_date_updated":"2020-07-14T12:46:18Z","ddc":["000"],"doi":"10.1007/978-3-642-16242-8_1","page":"1 - 14","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"}],"has_accepted_license":"1","conference":{"name":"LPAR: Logic for Programming, Artificial Intelligence, and Reasoning","start_date":"2010-10-10","location":"Yogyakarta, Indonesia","end_date":"2010-10-15"},"citation":{"short":"K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.","ama":"Chatterjee K, Doyen L. The complexity of partial-observation parity games. In: Vol 6397. Springer; 2010:1-14. doi:10.1007/978-3-642-16242-8_1","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “The Complexity of Partial-Observation Parity Games,” 6397:1–14. Springer, 2010. https://doi.org/10.1007/978-3-642-16242-8_1.","apa":"Chatterjee, K., & Doyen, L. (2010). The complexity of partial-observation parity games (Vol. 6397, pp. 1–14). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer. https://doi.org/10.1007/978-3-642-16242-8_1","ista":"Chatterjee K, Doyen L. 2010. The complexity of partial-observation parity games. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 1–14.","ieee":"K. Chatterjee and L. Doyen, “The complexity of partial-observation parity games,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 1–14.","mla":"Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1."},"language":[{"iso":"eng"}],"_id":"3858","oa":1,"oa_version":"Submitted Version","date_created":"2018-12-11T12:05:33Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer","scopus_import":1,"title":"The complexity of partial-observation parity games","quality_controlled":"1","status":"public","alternative_title":["LNCS"],"file":[{"date_created":"2020-05-19T16:29:04Z","file_size":142836,"file_id":"7872","date_updated":"2020-07-14T12:46:18Z","creator":"dernst","access_level":"open_access","file_name":"2010_LPAR_Chatterjee.pdf","content_type":"application/pdf","checksum":"770e86e5d78c56fddb4786a8da7ef126","relation":"main_file"}],"type":"conference","day":"09","article_processing_charge":"No","month":"12","date_updated":"2021-01-12T07:52:43Z","date_published":"2010-12-09T00:00:00Z","publication_status":"published","department":[{"_id":"KrCh"}],"abstract":[{"text":"We consider two-player zero-sum games on graphs. On the basis of the information available to the players these games can be classified as follows: (a) partial-observation (both players have partial view of the game); (b) one-sided partial-observation (one player has partial-observation and the other player has complete-observation); and (c) complete-observation (both players have com- plete view of the game). We survey the complexity results for the problem of de- ciding the winner in various classes of partial-observation games with ω-regular winning conditions specified as parity objectives. We present a reduction from the class of parity objectives that depend on sequence of states of the game to the sub-class of parity objectives that only depend on the sequence of observations. We also establish that partial-observation acyclic games are PSPACE-complete.","lang":"eng"}]}