1 paper · 1 filter
Bowen Ye, Junyue Huang, Yang Liu +2
We investigate the task and motion planning problem for Signal Temporal Logic (STL) specifications in robotics. Existing STL methods rely on pre-defined maps or mobility representa…