{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:17Z","timestamp":1779074597515,"version":"3.51.4"},"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>Safe Reinforcement Learning focuses on developing optimal\n\npolicies while ensuring safety. A popular method to address\n\nsuch task is shielding, in which a correct-by-construction\n\nsafety component is synthetised from logical specifications.\n\nRecently, shield synthesis has been extended to\n\ninfinite-state\n\ndomains, such as continuous environments. This makes\n\nshielding more applicable to realistic scenarios. However,\n\noften shields might be unrealizable because the specification\n\nis inconsistent. In order to address this gap, we present a\n\nmethod to obtain simple unconditional and conditional explanations \n\nthat witness unrealizability, which goes by temporal\n\nformula unrolling: bounded strategy search. In this paper,\n\nwe\n\nshow different variants of the technique as well as its\n\napplicability<\/jats:p>","DOI":"10.24963\/kr.2025\/83","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"858-868","source":"Crossref","is-referenced-by-count":1,"title":["Explanations for Unrealizability of Infinite-State Safety Shields"],"prefix":"10.24963","author":[{"given":"Andoni","family":"Rodr\u00edguez","sequence":"first","affiliation":[{"name":"IMDEA Software Institute"},{"name":"Universidad Polit\u00e9cnica de Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irfansha","family":"Shaik","sequence":"additional","affiliation":[{"name":"Aarhus Univeristy"},{"name":"Kvantify"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Corsi","sequence":"additional","affiliation":[{"name":"University of California, Irvine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Fox","sequence":"additional","affiliation":[{"name":"University of California, Irvine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"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:29Z","timestamp":1762323089000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/83"}},"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\/83","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}