Look into reverse IDA* search

[Odilf]

I think that's something almost necessary, but I don't know how it works. Basically, search from both the start and the end

[Odilf]

It should be a different type of searcher, because you need the specific state instead of an is_target function