Orseau, Laurent, and Levi H. S. Lelis. 2021. “Policy-Guided Heuristic Search With Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (14):12382-90. https://doi.org/10.1609/aaai.v35i14.17469.