Robotic Path Planning for High-Level Tasks in Discrete Environments