Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty

Pian Yu, Yong Li, David Parker +1

This work studies the planning problem for robotic systems under both quantifiable and unquantifiable uncertainty. The objective is to enable the robotic systems to optimally fulfi…