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