ScanSTL：信号时序逻辑的并行鲁棒性评估
ScanSTL: Parallel Robustness Evaluation for Signal Temporal Logic
ScanSTL 提出结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合
来源：arXiv · Robotics · arxiv.org