Planning with First-Order Temporally Extended Goals using Heuristic Search
暂无分享,去创建一个
[1] Pierre Wolper,et al. Reasoning About Infinite Computations , 1994, Inf. Comput..
[2] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[3] Carsten Fritz,et al. Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata , 2003, CIAA.
[4] Jorge A. Baier,et al. Planning with Temporally Extended Goals Using Heuristic Search , 2006, ICAPS.
[5] Jussi Rintanen,et al. Incorporation of Temporal Logic Control into Plan Operators , 2000, ECAI.
[6] Stephen Cresswell,et al. Compilation of LTL Goal Formulas into PDDL , 2004, ECAI.
[7] Avrim Blum,et al. Fast Planning Through Planning Graph Analysis , 1995, IJCAI.
[8] F. Bacchus. Precondition Control , 2007 .
[9] Murray Hill,et al. Optimizing B Uchi Automata , 2000 .
[10] Bernhard Nebel,et al. The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..
[11] Marco Pistore,et al. Planning with a language for extended goals , 2002, AAAI/IAAI.
[12] Fausto Giunchiglia,et al. Improved Automata Generation for Linear Temporal Logic , 1999, CAV.
[13] Patrick Doherty,et al. TALplanner: A temporal logic based forward chaining planner , 2001, Annals of Mathematics and Artificial Intelligence.
[14] Edwin P. D. Pednault,et al. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.
[15] Sylvie Thiébaux,et al. Search Control in Planning for Temporally Extended Goals , 2005, ICAPS.
[16] Kousha Etessami,et al. Optimizing Büchi Automata , 2000, CONCUR.
[17] A. Gerevini,et al. Plan Constraints and Preferences in PDDL 3 The Language of the Fifth International Planning Competition , 2005 .
[18] Fahiem Bacchus,et al. Planning for temporally extended goals , 1996, Annals of Mathematics and Artificial Intelligence.
[19] Bernhard Nebel,et al. In Defense of PDDL Axioms , 2003, IJCAI.
[20] Stefan Edelkamp,et al. On the Compilation of Plan Constraints and Preferences , 2006, ICAPS.
[21] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.