L. Orseau and L. H. S. Lelis, “Policy-Guided Heuristic Search with Guarantees”, AAAI, vol. 35, no. 14, pp. 12382-12390, May 2021.