{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:16:45Z","timestamp":1777645005862,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T00:00:00Z","timestamp":1530489600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2018,7,2]]},"abstract":"<jats:p>We consider imperfect information stochastic games where we require the players to use pure ( i.e. non randomised) strategies. We consider reachability, safety, B\u00fcchi and co-B\u00fcchi objectives, and investigate the existence of almost-sure\/positively winning strategies for the first player when the second player is perfectly informed or more informed than the first player. We obtain decidability results for positive reachability and almost-sure B\u00fcchi with optimal algorithms to decide existence of a pure winning strategy and to compute one if it exists. We complete the picture by showing that positive safety is undecidable when restricting to pure strategies even if the second player is perfectly informed.<\/jats:p>","DOI":"10.3233\/fi-2018-1687","type":"journal-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T14:54:27Z","timestamp":1530629667000},"page":"361-384","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":1,"title":["Pure Strategies in Imperfect Information Stochastic Games"],"prefix":"10.1177","volume":"160","author":[{"given":"Arnaud","family":"Carayol","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Est, LIGM (UMR 8049), CNRS, ENPC, ESIEE Paris, UPEM, France."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"L\u00f6ding","sequence":"additional","affiliation":[{"name":"Informatik 7, RWTH Aachen, Germany."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Serre","sequence":"additional","affiliation":[{"name":"IRIF (CNRS & Universit\u00e9 Paris Diderot\u2013Paris 7), France."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2018,7,2]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2018-1687","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2018-1687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:31:04Z","timestamp":1777444264000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2018-1687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,2]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,7,2]]}},"alternative-id":["10.3233\/FI-2018-1687"],"URL":"https:\/\/doi.org\/10.3233\/fi-2018-1687","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,2]]}}}