ML Anthology

Kuang, Weidu

1 publications

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