Compilation of LTL Goal Formulas into PDDL.

Stephen Cresswell Alexandra M. Coddington

Published in: ECAI (2004)

Keyphrases

linear time temporal logic
model checking
temporal logic
np complete
ai planning