S. Zhang, F. Bao, and M. Sridharan, “Combining Probabilistic Planning and Logic Programming on Mobile Robots”, AAAI, vol. 26, no. 1, pp. 2461–2462, Sep. 2021.