Zhenhe Cui

According to our database, Zhenhe Cui authored at least 4 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning.

Zhenhe Cui, Weidu Kuang, Yongmei Liu

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Automatic Verification of Sound Abstractions for Generalized Planning.

Zhenhe Cui, Weidu Kuang, Yongmei Liu

CoRR, 2022

2021

A Uniform Abstraction Framework for Generalized Planning.

Zhenhe Cui, Yongmei Liu, Kailun Luo

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2016

Conjugacy relations of prefix codes.

Yong He, Zhenhe Cui, Zihan Yuan

Theor. Comput. Sci., 2016