{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:01:04Z","timestamp":1762326064714,"version":"build-2065373602"},"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,11]]},"abstract":"<jats:p>We investigate LTL synthesis under structured assumptions about the\n\nenvironment.  In our setting, the environment is viewed by the protagonist as a\n\ncollection of peer agents acting together in a shared world.  In contrast to\n\nthe symmetrical frameworks typically studied in multi-agent systems, we take a\n\nstrikingly asymmetric first-person perspective in which the protagonist\n\nascribes a specification to each of its peer agents and the world, capturing\n\nits understanding of their possible strategies.  We show that in this setting,\n\nLTL synthesis has the same computational complexity as standard LTL synthesis,\n\ni.e., 2EXPTIME-complete. We establish this via a sophisticated, yet fully\n\nimplementable, argument that builds on the notion of traces compatible with\n\nstrategies: we use the fact that if the basic specification of the world and of\n\neach agent is given in LTL then the sets of traces compatible with the\n\nstrategies describing the behaviors of the agents are omega-regular. This\n\nenables the use of word-automata rather than the more complicated\n\ntree-automata.<\/jats:p>","DOI":"10.24963\/kr.2025\/69","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"719-728","source":"Crossref","is-referenced-by-count":0,"title":["LTL Synthesis Under Multi-Agent Environment Assumptions"],"prefix":"10.24963","author":[{"given":"Benjamin","family":"Aminof","sequence":"first","affiliation":[{"name":"University of Rome \u201cLa Sapienza\u201d, Italy"}]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[{"name":"University of Oxford, United Kingdom"},{"name":"University of Rome \u201cLa Sapienza\u201d, Italy"}]},{"given":"Giuseppe","family":"Perelli","sequence":"additional","affiliation":[{"name":"University of Rome \u201cLa Sapienza\u201d, Italy"}]},{"given":"Sasha","family":"Rubin","sequence":"additional","affiliation":[{"name":"The University of Sydney, Australia"}]}],"member":"10584","event":{"name":"22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}","theme":"Artificial Intelligence","location":"Melbourne, Australia","acronym":"KR-2025","number":"22","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2025,11,11]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:11:20Z","timestamp":1762323080000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/69"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2025\/69","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}