Mapping Temporal Planning Constraints into Timed Automata.

Lina Khatib Nicola Muscettola Klaus Havelund

Published in: TIME (2001)

Keyphrases

temporal planning
mutual exclusion
timed automata
temporal planner
long distance
plan generation
ai planning
temporal planning problems
temporal constraints
domain independent
plan execution
planning problems
partial order
global constraints
model checking
heuristic search
inference rules
learning algorithm