Showing 2026Show all
2 papers · 1 filter
cs.RO2026
DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
Ruijia Liu, Ancheng Hou, Xiao Yu +1
Signal Temporal Logic (STL) is a powerful language for specifying temporally structured robotic tasks. Planning executable trajectories under STL constraints remains difficult when…
eess.SY2026
Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
Jianing Zhao, Zhuoting Cai, Xiang Yin
In this paper, we investigate safety-critical control problem of discrete-time stochastic systems with incomplete information, where safety constraints must be enforced using state…