TY  - RPRT
TI  - Automatic Verification of Sound Abstractions for Generalized Planning
AU  - Zhenhe Cui
AU  - Weidu Kuang
AU  - Yongmei Liu
PY  - 2022
UR  - https://arxiv.org/abs/2205.11898
ID  - 2205.11898
ER  -