Signal Temporal Logic Planning with Time-Varying Robustness

Yating Yuan, Thanin Quartz, Jun Liu

This letter aims to generate a continuous-time trajectory consisting of piecewise Bézier curves that satisfy signal temporal logic (STL) specifications with piecewise time-varying…