A Proof System for Unsolvable Planning Tasks.

Salomé Eriksson Gabriele Röger Malte Helmert

Published in: ICAPS (2018)

Keyphrases

planning tasks
multi valued
state space
planning problems
modal logic
belief space
planning process
planning systems
dynamic programming
mobile robot
heuristic search
domain independent
heuristic search algorithms