Weasel: an automated planner that users can guide | IEEE Conference Publication | IEEE Xplore