Rodríguez, A.; Amir, G.; Corsi, D.; Sánchez, C.; Katz, G. Shield Synthesis for LTL Modulo Theories. AAAI 2025, 39, 15134-15142.