de Giacomo G, Parretti G, Zhu S. LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. ICAPS [Internet]. 2025 Sep. 16 [cited 2026 Jul. 14];35(1):334-42. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/36135