A. Rodríguez and C. Sánchez, “Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories”, AAAI, vol. 38, no. 9, pp. 10679-10686, Mar. 2024.