使用時變魯棒性的信號時間邏輯規劃

本文提出了一種使用時變魯棒性的信號時間邏輯規劃方法,可以生成滿足STL規範的連續時間軌跡,並考慮動態可行性,從而產生更小的跟蹤誤差。