Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints

Open in new window