ScanSTL: Parallel Robustness Evaluation for Signal Temporal Logic

arXiv:2610.07346 · cs.RO · Submitted 2026-10-05 · Read on arXiv

cs.RO

Submitted: 2026-10-05

Updated: 2026-10-05

Comments: 8 pages, 5 figures

Code: https://github.com/ax-ml/jax

Project page: https://alcanlab.github.io/ScanSTL

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Robustness — 1× in this paper · explained in 5 episodes

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• ARC: A Reasoning Recipe for Robot Foundation Models
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies