An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types

Hao Dong, Zheyuan Shi, Hemeng Zeng +1

Generalized planning is concerned with how to find a single plan to solve multiple similar planning instances. Abstractions are widely used for solving generalized planning, and QN…