Automatic Verification of Sound Abstractions for Generalized Planning. - Zhenhe Cui; Weidu Kuang; Yongmei Liu 001 (CoRR, 2022)

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. - Zhenhe Cui; Weidu Kuang; Yongmei Liu 001 (IJCAI, 2023)