Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains

Abstract

Several real world applications require planners that deal with non-deterministic domains and with temporally extended goals. Recent research is addressing this planning problem. However, the ability of dealing in practice with large state spaces is still an open problem. Indeed, this is one of the main obstacles to the practical applicability of planners in such a general setting. In this pape