PACTL

PACTL is a planner based on the α-CTL logic. This repository contains a prototype of PACTL. Some publications about the α-CTL logic can be found at:

• A logic-based agent that plans for extended reachability goals

PACTL-Sym is the symbolic version of the α-CTL planner for FOND planning problems. Currently, the code for PACTL-Sym is not available (we are working on improvements and code clarity before making it public). Some papers about PACTL-Sym can be found at:

• Symbolic FOND Planning for Temporally Extended Goals
• Symbolic Planning for Strong-Cyclic Policies