Planning with abstract Markov decision processes