Zhang, Shiqi, Forrest Bao, and Mohan Sridharan. 2021. “Combining Probabilistic Planning and Logic Programming on Mobile Robots”. Proceedings of the AAAI Conference on Artificial Intelligence 26 (1):2461-62. https://doi.org/10.1609/aaai.v26i1.8414.