de Giacomo, Giuseppe, Gianmarco Parretti, and Shufang Zhu. “LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains”. Proceedings of the International Conference on Automated Planning and Scheduling 35, no. 1 (September 16, 2025): 334–342. Accessed July 14, 2026. https://ojs.aaai.org/index.php/ICAPS/article/view/36135.