Rodríguez, A.; Sánchez, C. Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories. AAAI 2024, 38, 10679-10686.