Login / Signup
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.
Songtuan Lin
Conny Olz
Malte Helmert
Pascal Bercher
Published in:
AAAI (2024)
Keyphrases
</>
plan generation
plan existence
model checking
computational complexity
plan recognition
ai planning
strips planning
plan execution
pspace complete
planning domains
np complete
context aware
htn planning
temporal logic
planning problems
planning systems