论文记录 · 证据边界公开

An Operator-based Approach to STL

arXiv v3（KTH DHSG；期刊模板预印本；v2 曾撤稿 2026-06-29 后 v3 重发，当前无撤稿横幅） · 2026-05-27 · 算子化 STL 语义与嵌套公式综合 vs MILP/既有 STL 综合方法

论文元数据

作者
Panagiotis Rousseas、Dimos V. Dimarogonas
机构
机构尚未补齐
发布日期精度
日
研究方向
算子化 STL 语义与嵌套公式综合 vs MILP/既有 STL 综合方法
机器人
无机器人本体（数值仿真片段演示）
DOI
未披露
arXiv
2605.28092
引用元数据
0
记录状态
included
质量检查
无自动质量红旗