B. Cserna, K. Gall, and W. Ruml, “Improved Safe Real-Time Heuristic Search”, SOCS, vol. 10, no. 1, pp. 172–173, Sep. 2021.