Automatic Synthesis of Temporal Invariants
暂无分享,去创建一个
[1] Malik Ghallab,et al. Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.
[2] Lenhart K. Schubert,et al. Discovering State Constraints in DISCOPLAN: Some New Results , 2000, AAAI/IAAI.
[3] David E. Smith,et al. Translating PDDL2.2. into a Constraint-based Variable/Value Language , 2008 .
[4] Amedeo Cesta,et al. Unifying planning and scheduling as timelines in a component-based perspective , 2008 .
[5] Nicola Muscettola,et al. HSTS: Integrating Planning and Scheduling , 1993 .
[6] David E. Smith,et al. The Logic of Reachability , 2002, AIPS.
[7] Ying Zhang,et al. Online Planning for a Material Control System for Liquid Crystal Display Manufacturing , 2011, ICAPS.
[8] Malte Helmert,et al. The Fast Downward Planning System , 2006, J. Artif. Intell. Res..
[9] Rob Sherwood,et al. ASPEN-Automated Planning and Scheduling for Space Mission Operation , 2000 .
[10] Mark S. Fox,et al. Intelligent Scheduling , 1998 .
[11] Subbarao Kambhampati,et al. Evaluating Temporal Planning Domains , 2007, ICAPS.
[12] Jeremy Frank,et al. Constraint-Based Attribute and Interval Planning , 2003, Constraints.
[13] Malte Helmert,et al. Concise finite-domain representations for PDDL planning tasks , 2009, Artif. Intell..