TY  - RPRT
TI  - An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
AU  - Hao Dong
AU  - Zheyuan Shi
AU  - Hemeng Zeng
AU  - Yongmei Liu
PY  - 2025
UR  - https://arxiv.org/abs/2501.15249
ID  - 2501.15249
ER  -