Skip to content
Original
arXiv · Robotics· Gokhan Alcan·· 4 hr agoAI score31

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

ScanSTL: Parallel Robustness Evaluation for Signal Temporal Logic

AI brief

ScanSTL 提出结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合结合

Source: arXiv · Robotics · arxiv.org

#论文/研究#具身智能#arXiv