Zhenhe Cui

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Heuristic Function

Decision Theoretic

Planning Problems

Top Venues

Theor. Comput. Sci.

Publications

Zhenhe Cui, Weidu Kuang, Yongmei Liu
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. IJCAI (2023)
Zhenhe Cui, Weidu Kuang, Yongmei Liu
Automatic Verification of Sound Abstractions for Generalized Planning. CoRR (2022)
Zhenhe Cui, Yongmei Liu, Kailun Luo
A Uniform Abstraction Framework for Generalized Planning. IJCAI (2021)
Yong He, Zhenhe Cui, Zihan Yuan
Conjugacy relations of prefix codes. Theor. Comput. Sci. 635 (2016)