de Giacomo, G., Parretti, G. and Zhu, S. (2025) “LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains”, Proceedings of the International Conference on Automated Planning and Scheduling, 35(1), pp. 334–342. doi: 10.1609/icaps.v35i1.36135.