Mallett, Ian, Sylvie Thiebaux, and Felipe Trevizan. 2021. “Progression Heuristics for Planning With Probabilistic LTL Constraints”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (13):11870-79. https://doi.org/10.1609/aaai.v35i13.17410.