(1)
Mallett, I.; Thiebaux, S.; Trevizan, F. Progression Heuristics for Planning With Probabilistic LTL Constraints. AAAI 2021, 35, 11870-11879.