Mallett, I., Thiebaux, S., & Trevizan, F. (2021). Progression Heuristics for Planning with Probabilistic LTL Constraints. Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), 11870-11879. https://doi.org/10.1609/aaai.v35i13.17410