Gopalan, N.; desJardins, M.; Littman, M.; MacGlashan, J.; Squire, S.; Tellex, S.; Winder, J.; Wong, L. Planning With Abstract Markov Decision Processes. ICAPS 2017, 27, 480-488.