Mitchell, A.; Ruml, W.; Spaniol, F.; Hoffmann, J.; Petrik, M. Real-Time Planning As Decision-Making under Uncertainty. AAAI 2019, 33, 2338-2345.