no code implementations • 15 Mar 2024 • Nhan-Khanh Le, Erfaun Noorani, Sandra Hirche, John Baras
We study time-robust path planning for synthesizing robots' trajectories that adhere to spatial-temporal specifications expressed in Signal Temporal Logic (STL).