Real-Time Planning as Decision-Making under Uncertainty. - Andrew Mitchell; Wheeler Ruml; Fabian Spaniol; Jörg Hoffmann 001; Marek Petrik (AAAI, 2019)