Weidu Kuang

Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China

1 paper in the IJCAI proceedings

IJCAI 2023

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning

with Zhenhe Cui, Yongmei Liu

doi:10.24963/ijcai.2023/351

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings