de Giacomo, G., Parretti, G., & 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), 334–342. https://doi.org/10.1609/icaps.v35i1.36135