Shi, Zheyuan

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 2025 Solving QNP and FOND+ with Generating, Testing and Forbidding Zheyuan Shi, Hao Dong, Yongmei Liu