{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:01:14Z","timestamp":1762326074146,"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>The Platform-Aware Mission Planning (PAMP) problem,\n\nformalizes the relationship between an automated temporal\n\nplanning problem and an execution platform modeled as a\n\nTimed Automaton. The PAMP problem consists in finding a\n\nvalid plan that guarantees the plan executability and the\n\nsatisfaction of a safety property on the platform,\n\nregardless of non-determinism. In this paper, we\n\nsignificantly generalize the PAMP problem along three\n\ndirections. First, we consider platforms represented as\n\ninfinite state timed transition systems (TTSs), allowing a\n\nmore natural and expressive modeling of realistic systems.\n\nSecond, we introduce a new feature to model relations\n\nbetween the fluents of the planning problem and the\n\nplatform variables. Finally, we generalize the semantics to\n\ncope with unbounded traces. We define a solution method for\n\nthe resulting generalized PAMP, combining an automated\n\ntemporal planner and an infinite-state model-checker. Our\n\nmethod is largely more efficient than the existing approach\n\nfor bounded PAMP problems, despite being strictly more\n\nexpressive.<\/jats:p>","DOI":"10.24963\/kr.2025\/81","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"843-852","source":"Crossref","is-referenced-by-count":0,"title":["Generalizing Platform-Aware Mission Planning for Infinite-State Timed Transition Systems"],"prefix":"10.24963","author":[{"given":"Stefan","family":"Panjkovic","sequence":"first","affiliation":[{"name":"Fondazione Bruno Kessler"},{"name":"University of Trento"}]},{"given":"Alessandro","family":"Cimatti","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler"}]},{"given":"Andrea","family":"Micheli","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler"}]},{"given":"Stefano","family":"Tonetta","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler"}]}],"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:28Z","timestamp":1762323088000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/81"}},"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\/81","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}