{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:13:22Z","timestamp":1767237202494},"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":[[2018,7]]},"abstract":"<jats:p>In this paper, we address the problem of LTL realizability and synthesis. State of the art techniques rely on so-called bounded synthesis methods, which reduce the problem to a safety game. Realizability is determined by solving synthesis in a dual game. We provide a unified view of duality, and introduce novel bounded realizability methods via reductions to reachability games. Further, we introduce algorithms, based on AI automated planning, to solve these safety and reachability games. This is the the first complete approach to LTL realizability and synthesis via automated planning. Experiments illustrate that reductions to reachability games are an alternative to reductions to safety games, and show that planning can be a competitive approach to LTL realizability and synthesis.<\/jats:p>","DOI":"10.24963\/ijcai.2018\/651","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:49:10Z","timestamp":1530769750000},"page":"4683-4691","source":"Crossref","is-referenced-by-count":2,"title":["LTL Realizability via Safety and Reachability Games"],"prefix":"10.24963","author":[{"given":"Alberto","family":"Camacho","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Muise","sequence":"additional","affiliation":[{"name":"IBM Research, Cambridge Research Center, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge A.","family":"Baier","sequence":"additional","affiliation":[{"name":"Pontificia Universidad Cat\u00f3lica de Chile"},{"name":"Chilean Center for Semantic Web Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila A.","family":"McIlraith","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"27","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2018","name":"Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}","start":{"date-parts":[[2018,7,13]]},"theme":"Artificial Intelligence","location":"Stockholm, Sweden","end":{"date-parts":[[2018,7,19]]}},"container-title":["Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:54:55Z","timestamp":1530770095000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/651"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2018\/651","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}