Login / Signup
The challenges of verification and validation of automated planning systems (keynote).
Jeremy Frank
Published in:
ASE (2013)
Keyphrases
</>
planning systems
key issues
ai planning
planning problems
forward chaining
automated planning
planning domains
planning process
model checking
knowledge discovery and data mining
control knowledge
heuristic search
case study
htn planning
planning tasks