ScanSTL：面向信号时序逻辑的并行鲁棒性评估方法

ScanSTL 提出用结合律时序聚合、并行扫描和有序块归约来并行计算信号时序逻辑（STL）的鲁棒性，每个精确时序算子在线性工作量与存储、对数并行深度下计算完整鲁棒性轨迹，并提供支持自动微分、批处理和编译的开源 JAX 实现。