Orseau, L. and Lelis, L. H. S. (2021) “Policy-Guided Heuristic Search with Guarantees”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(14), pp. 12382-12390. doi: 10.1609/aaai.v35i14.17469.