基於信號時間邏輯規範的優化任務和運動規劃：使用邏輯網絡流

本文提出了一種名為"邏輯網絡流"的優化任務和運動規劃框架,將信號時間邏輯(STL)規範整合到高效的混合二進制線性規劃中。