{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T09:34:52Z","timestamp":1770716092779,"version":"3.49.0"},"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":[[2025,9]]},"abstract":"<jats:p>Verification of strategic ability under imperfect information is challenging, with complexity ranging from NP-complete to undecidable. This is partly because traditional fixpoint equivalences fail in this setting. Some years ago, an interesting idea of fixpoint approximation was proposed for model checking of ATL_ir, i.e., the logic of strategic ability for agents with imperfect information and imperfect recall.\n\nIn this paper, we propose a new variant of the approximation, that uses the agent's local model rather than the global model of the system. We prove correctness of the construction, and demonstrate its effectiveness through experimental results on scalable models of voting.<\/jats:p>","DOI":"10.24963\/ijcai.2025\/17","type":"proceedings-article","created":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:10:40Z","timestamp":1758269440000},"page":"143-151","source":"Crossref","is-referenced-by-count":1,"title":["Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models"],"prefix":"10.24963","author":[{"given":"Damian","family":"Kurpiewski","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences"},{"name":"Nicolaus Copernicus University in Toru\u0144, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Polish Academy of Sciences"},{"name":"Nicolaus Copernicus University in Toru\u0144, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Kim","sequence":"additional","affiliation":[{"name":"Interdisciplinary Centre for Security, Reliability, and Trust, SnT, University of Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"Thirty-Fourth International Joint Conference on Artificial Intelligence {IJCAI-25}","theme":"Artificial Intelligence","location":"Montreal, Canada","acronym":"IJCAI-2025","number":"34","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2025,8,16]]},"end":{"date-parts":[[2025,8,22]]}},"container-title":["Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T11:32:36Z","timestamp":1758627156000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2025\/17"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2025\/17","relation":{},"subject":[],"published":{"date-parts":[[2025,9]]}}}