Planning with First-Order Temporally Extended Goals using Heuristic Search.

Jorge A. Baier, Sheila A. McIlraith

Browse the full AAAI paper archive.