Rodríguez, Andoni, and César Sánchez. 2024. “Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (9):10679-86. https://doi.org/10.1609/aaai.v38i9.28939.