Planning with Abstract Markov Decision Processes
ROS: an open-source Robot Operating System