A. Rodríguez, G. Amir, D. Corsi, C. Sánchez, and G. Katz, “Shield Synthesis for LTL Modulo Theories”, AAAI, vol. 39, no. 14, pp. 15134–15142, Apr. 2025.