Managing an Agent's Changing Intentions Using ltlf Synthesis. - Giuseppe De Giacomo; Yves Lespérance; Gianmarco Parretti; Fabio Patrizi; Renzo Schram (AAMAS, 2025)