🏷️ Tag: pdr

Automated Planning using Property-Directed Reachability with Seed Heuristics

5/6/2023
Automated Planning using Property-Directed Reachability with Seed Heuristics

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.

Built with SvelteKit and hosted on GitHub Pages.

View this website on GitHub!

Other pages