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: