1. Finding and exploiting LTL trajectory constraints in heuristic search;simon;Proceedings of the Eighth Annual Symposium on Combinatorial Search SOCS 2015,2015
2. Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces;camacho;Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,2017
3. Computing infinite plans for LTL goals using a classical planner;patrizi;IJCAI 2011 Proceedings of the 22nd International Joint Conference on Artificial Intelligence,2011
4. Polynomial-time reformulations of LTL temporally extended goals into final-state goals;torres;Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence IJCAI 2015,2015
5. Viewing landmarks as temporally extended goals;wang;ICAPS 2009 Workshop on Heuristics for Domain-Independent Planning,2009