Decidability and Undecidability Results for Planning with Numerical State Variables

Malte Helmert. Decidability and Undecidability Results for Planning with Numerical State Variables. In Jürgen Sauer, editor, Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg, 10./ 11.10.2002. 2002. [doi]

Abstract

Abstract is missing.