Automated Planning using Property-Directed Reachability with Seed Heuristics
5/6/2023![Automated Planning using Property-Directed Reachability with Seed Heuristics](https://media.tiim.ch/023c1722-ac3d-45fd-b66c-9ff319dfc180.webp)
Masters Thesis. The goal of this thesis is to implement a pre-processing step to the Property Directed Reachability algorithm, to potentially improve the run-time performance. We use the pattern database heuristic to make use of the planning task structure for the seeding algorithm.