Planning with Abstract Markov Decision Processes
PAC-inspired Option Discovery in Lifelong Reinforcement Learning