TY  - RPRT
TI  - Shield Synthesis for LTL Modulo Theories
AU  - Andoni Rodriguez
AU  - Guy Amir
AU  - Davide Corsi
AU  - Cesar Sanchez
AU  - Guy Katz
PY  - 2025
UR  - https://arxiv.org/abs/2406.04184
ID  - 2406.04184
ER  -