论文记录 · 证据边界公开

When Automata Meet Streams: Temporal Logic Compilation for Stream-Based Robotics Task and Motion Planning

arXiv（cs.RO/cs.FL 主分类 cs.RO；v1 2026-08-19 单版本；UBC） · 2026-08-19 · 流式 TAMP 时序约束编译（SAM-TD vs BM06/TCORE/Plan4Past/LCC）

论文元数据

作者
Sayem Nazmuz Zaman、Cyrus Neary
机构
机构尚未补齐
发布日期精度
日
研究方向
流式 TAMP 时序约束编译（SAM-TD vs BM06/TCORE/Plan4Past/LCC）
机器人
仿真 TAMP 环境：Kitchen(Garrett 2020)/Tabletop(Wu 2025)/ZoneSort（PDDLStream 机器人域规划基准）
DOI
未披露
arXiv
2608.19453
引用元数据
0
记录状态
included
质量检查
无自动质量红旗