R. Stern, A. Felner, and R. Holte, “Probably Approximately Correct Heuristic Search”, SOCS, vol. 2, no. 1, pp. 158–163, Aug. 2021.