Salomé Eriksson

Unsolvability Certificates for Classical Planning

2017 · Proceedings of the International Conference on Automated Planning and Scheduling

The plans that planning systems generate for solvable planning tasks are routinely verified by independent validation tools. For unsolvable planning tasks, no such validation capabilities currently exist. We describe a family of certificates of unsolvability …