R. Stern, A. Felner, and R. Holte, “Search-Aware Conditions for Probably Approximately Correct Heuristic Search”, SOCS, vol. 3, no. 1, pp. 112–119, Jul. 2012.