no code implementations • 24 May 2022 • Zhenhe Cui, Weidu Kuang, Yongmei Liu
Solutions of sound abstractions are those with correctness guarantees for generalized planning problems.