de Giacomo, G. et al. 2025. LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. Proceedings of the International Conference on Automated Planning and Scheduling. 35, 1 (Sep. 2025), 334–342. DOI:https://doi.org/10.1609/icaps.v35i1.36135.