TY  - RPRT
TI  - Explanations for Unrealizability of Infinite-State Safety Shields
AU  - Andoni Rodriguez
AU  - Irfansha Shaik
AU  - Davide Corsi
AU  - Roy Fox
AU  - Cesar Sanchez
PY  - 2025
UR  - https://arxiv.org/abs/2507.23603
ID  - 2507.23603
ER  -