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

Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu

Browse the full AAAI paper archive.