Compilation of LTL Goal Formulas into PDDL.

Stephen Cresswell, Alexandra M. Coddington

Browse the full ECAI paper archive.