de Giacomo, Giuseppe, et al. “LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 35, no. 1, Sept. 2025, pp. 334-42, doi:10.1609/icaps.v35i1.36135.