arXiv cs.RO 机器人学· Gokhan Alcan·· 1 天前AI 评分56
ScanSTL：基于并行扫描的信号时序逻辑鲁棒性高效求值
ScanSTL: Parallel Robustness Evaluation for Signal Temporal Logic
AI 导读
ScanSTL 将关联时间聚合与并行扫描、有序块归约结合，用线性工作量与存储、对数并行深度计算精确时序算子的完整鲁棒性轨迹，并提供支持自动微分、批处理与编译的开源 JAX 实现。
来源：arXiv cs.RO 机器人学 · arxiv.org