Zeng, Hemeng

2 publications

AAAI 2025 An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu

IJCAI 2022 A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search Hemeng Zeng, Yikun Liang, Yongmei Liu