{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:45:51Z","timestamp":1750347951051},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p>In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when both the model transitions and the strategies played by agents are stochastic. That is, the semantics of the logics are based on multi-agent, stochastic transition systems with imperfect information, which combine two sources of uncertainty, namely, the partial observability agents have on the environment, and the likelihood of transitions to occur from a system state. Since the model checking problem is undecidable in general in this setting, we restrict our attention to agents with memoryless (positional) strategies. The resulting setting captures the situation in which agents have qualitative uncertainty of the local state and quantitative\n\nuncertainty about the occurrence of future events. We illustrate the\n\nusefulness of this setting with meaningful examples.<\/jats:p>","DOI":"10.24963\/kr.2023\/71","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:27:47Z","timestamp":1690828067000},"page":"726-731","source":"Crossref","is-referenced-by-count":1,"title":["Strategic Abilities of Forgetful Agents in Stochastic Environments"],"prefix":"10.24963","author":[{"given":"Francesco","family":"Belardinelli","sequence":"first","affiliation":[{"name":"Imperial College, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[{"name":"Interdisc. Centre on Security, Reliability and Trust, SnT, University of Luxembourg"},{"name":"Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Munyque","family":"Mittelmann","sequence":"additional","affiliation":[{"name":"University of Naples ``Federico II''"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[{"name":"University of Naples ``Federico II''"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"acronym":"KR-2023","name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","start":{"date-parts":[[2023,9,2]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:29:08Z","timestamp":1690828148000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/71"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/71","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}