Orseau, L.; Lelis, L. H. S. Policy-Guided Heuristic Search With Guarantees. AAAI 2021, 35, 12382-12390.