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