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

Zhenhe Cui, Weidu Kuang, Yongmei Liu

Browse the full IJCAI paper archive.