de Giacomo, G.; Parretti, G.; Zhu, S. LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. ICAPS 2025, 35, 334-342.