Showing 2026Show all
2 papers · 1 filter
cs.RO2026
Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
Panagiotis Rousseas, Dimos V. Dimarogonas
In this work, a novel method for planar task and motion planning based on hybrid modeling is proposed. By virtue of a discrete variable which models local constraint satisfaction a…
cs.RO2026
An Operator-based Approach to STL
Panagiotis Rousseas, Dimos V. Dimarogonas
Signal Temporal Logic (STL), has recently seen extensive development, owing to its rich expressivenes for autonomous planning and control. Nevertheless, existing verification and c…