Explanations for Unrealizability of Infinite-State Safety Shields

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]