2017
Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications
RA-L 2017
This letter presents a path planning algorithm for generating a cost-efficient path that satisfies mission requirements specified in linear temporal logic (LTL). We assume that a cost function is defined over the configuration space. Examples of a cost function include hazard levels, wireless connec