Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
The dataset is used to test the generalized planning algorithm. It consists of a set of problems that share a common structure and can be solved by a single policy.
BibTex: