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