Planning for Temporally Extended Goals based on alpha-CTL

Viviane Bonadia dos Santos (Universidade de São Paulo), Leliane Nunes de Barros (Universidade de São Paulo), Maria Viviane de Menezes (Universidade Federal do Ceará), Silvio do Lago Pereira (Faculdade de Tecnologia de São Paulo)

Abstract

We present the PACTL-XR planner for FOND planning, a planner based on symbolic model checking and 𝛼-CTL logic. The experiments show that our planner can efficiently find policies for complex planning goals, such extended reachability goals, and outperform the results of state-of-the-art planners in some domains.