Shield Synthesis for LTL Modulo Theories | Publicación