Zhang, S.; Bao, F.; Sridharan, M. Combining Probabilistic Planning and Logic Programming on Mobile Robots. AAAI 2021, 26, 2461-2462.