Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories | Publicación