I. Mallett, S. Thiebaux, and F. Trevizan, “Progression Heuristics for Planning with Probabilistic LTL Constraints”, AAAI, vol. 35, no. 13, pp. 11870-11879, May 2021.