Cui, Zhenhe

3 publications

AAAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan

IJCAI 2023 Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning Zhenhe Cui, Weidu Kuang, Yongmei Liu

IJCAI 2021 A Uniform Abstraction Framework for Generalized Planning Zhenhe Cui, Yongmei Liu, Kailun Luo