G. de Giacomo, G. Parretti, and S. Zhu, “LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains”, ICAPS, vol. 35, no. 1, pp. 334–342, Sep. 2025.