Planning for Temporally Extended Goals.

Fahiem Bacchus Froduald Kabanza

Published in: Ann. Math. Artif. Intell. (1998)

Keyphrases

initial state
classical planning
temporally extended goals
temporal logic
temporally extended
heuristic search
linear temporal logic
belief space
model checking
symbolic model checking
search algorithm
planning problems