2025
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
AAAI 2025technical
Generalized planning is concerned with how to find a single plan to solve multiple similar planning instances. Abstractions are widely used for solving generalized planning, and QNP (qualitative numeric planning) is a popular abstract model. Recently, Cui et al. showed that a plan solves a sound and…