Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer. Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas. In Francesco Amigoni, Arunesh Sinha, editors, Autonomous Agents and Multiagent Systems. Best and Visionary Papers - AAMAS 2023 Workshops, London, UK, May 29 - June 2, 2023, Revised Selected Papers. Volume 14456 of Lecture Notes in Computer Science, pages 97-122, Springer, 2023. [doi]
Abstract is missing.