Conjugacy relations of prefix codes. - Yong He; Zhenhe Cui; Zihan Yuan (Theor. Comput. Sci., 2016)

A Uniform Abstraction Framework for Generalized Planning. - Zhenhe Cui; Yongmei Liu 001; Kailun Luo (IJCAI, 2021)

Automatic Verification of Sound Abstractions for Generalized Planning. - Zhenhe Cui; Weidu Kuang; Yongmei Liu 001 (CoRR, 2022)

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. - Zhenhe Cui; Weidu Kuang; Yongmei Liu 001 (IJCAI, 2023)

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 (AAAI, 2025)