1.Designing the heuristic information based on Linear Temporal Logic, and some genetic operators, for example, select, across and mutate.

• · 设计了基于LTL路径公式的启发式信息，以及选择，交叉，变异等进化操作。