Ro-to-go! Robust reactive control with signal temporal logic

Conference item

Signal Temporal Logic robustness is a common objective for optimal robot control, but its dependence on history limits the robot’s decision-making capabilities when used in model predictive control approaches. In this work, we introduce Signal Temporal Logic robustness-to-go, a new quantitative semantics for the logic that isolates the contributions of suffix trajectories. We prove its relationship to formula progression for Metric Temporal Logic, and show that the robustness-to-go depends only on the suffix trajectory and progressed formula. We implement robustness-to-go as the objective in a model predictive control algorithm and use formula progression to efficiently evaluate it online. We test the algorithm in simulation and compare it to model predictive control using other robustness measures. Our experiments show that using robustness-to-go improves performance compared to using traditional robustness.

Authors: Ilyes, R; Brudermüller, L; Hawes, N; Lacerda, B

• Publication status: Accepted
• Peer review status: Peer reviewed
• Publisher: IEEE
• Acceptance date: 2026-01-31
• Event title: 2026 IEEE International Conference on Robotics and Automation
• Event location: Vienna, Austria
• Event website: https://2026.ieee-icra.org/
• Event start date: 2026-06-01
• Event end date: 2026-06-05
• Language: English
• Keywords: formal methods in robotics and automation; hybrid logical/dynamical planning and verification; optimization and optimal control