arXiv cs.RO 机器人学· Avinash Malik·· 1 天前AI 评分53
STL 可行性与修复的几何判定方法
A Geometric Decision Procedure for STL Feasibility and Repair
AI 导读
一篇 arXiv 论文提出了一种用于 Signal Temporal Logic（STL）控制综合的几何判定方法，将时序约束转化为时间零点处的连续空间后向可达集，可行性判定与时间视界长度完全无关。
来源：arXiv cs.RO 机器人学 · arxiv.org