Login / Signup
A New Approach to Temporal Planning with Rich Metric Temporal Properties.
Son Thanh To
Benjamin Johnson
Mark Roberts
David W. Aha
Published in:
ICAPS (2017)
Keyphrases
</>
temporal properties
temporal planning
model checking
mutual exclusion
temporal planner
plan generation
ai planning
domain independent
possibility theory
heuristic search
formal methods
partial order
plan execution
planning problems
temporal constraints
long distance
temporal logic