Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes, Silvio do Lago Pereira. Planning for Temporally Extended Goals based on alpha-CTL. In Sanmay Das, Ann Nowé, Yevgeniy Vorobeychik, editors, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025. pages 2443-2445, International Foundation for Autonomous Agents and Multiagent Systems / ACM, 2025. [doi]
Abstract is missing.