Luigi Bonassi

Towards Practical Classical Planning Compilations of Numeric Planning

2025 · Proceedings of the AAAI Conference on Artificial Intelligence

It is well known that numeric planning can be made decidable if the domain of all numeric state variables is finite. This bounded formulation can be polynomially compiled into classical planning with Boolean conditions and …