de Giacomo, Giuseppe, Gianmarco Parretti, and Shufang Zhu. 2025. “LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains”. Proceedings of the International Conference on Automated Planning and Scheduling 35 (1):334-42. https://doi.org/10.1609/icaps.v35i1.36135.