A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search. - Hemeng Zeng; Yikun Liang; Yongmei Liu 001 (IJCAI, 2022)

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