most citedAutomatic Verification of Sound Abstractions for Generalized Planning

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2022★ 1 cited

Automatic Verification of Sound Abstractions for Generalized Planning

Zhenhe Cui, Weidu Kuang, Yongmei Liu

Generalized planning studies the computation of general solutions for a set of planning problems. Computing general solutions with correctness guarantee has long been a key issue i…