STL Robustness (ρ)
φ1 Minimum Separation —
φ2 Speed-Proximity Coupling —
φ3 Predictive Near-Miss —
φ4 Emergency Stop Compliance —
φ5 Post-Alert Clearance —
Live Signals
d_min — m
v_veh — m/s
d_pred — m
scale —