Weidu Kuang

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning

Generalized planning (GP) studies the computation of general solutions for a set of planning problems. Computing general solutions with correctness guarantee has long been a key issue in GP. Abstractions are widely used to solve GP problems. For example, a popular abstraction model for GP is qualita…