Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez 0001. Explanations for Unrealizability of Infinite-State Safety Shields. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]
@inproceedings{RodriguezSCF025,
title = {Explanations for Unrealizability of Infinite-State Safety Shields},
author = {Andoni Rodríguez and Irfansha Shaik and Davide Corsi and Roy Fox and César Sánchez 0001},
year = {2025},
doi = {10.24963/kr.2025/83},
url = {https://doi.org/10.24963/kr.2025/83},
researchr = {https://researchr.org/publication/RodriguezSCF025},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025},
editor = {Magdalena Ortiz 0001 and Renata Wassermann and Torsten Schaub},
isbn = {978-1-956792-08-9},
}