On the theory of user-guided planning. - Jory Denny; Jonathan Colbert; Hongsen Qin; Nancy M. Amato (IROS, 2016)