Defines STL robustness-to-go that isolates suffix contributions, proves relation to MTL formula progression, and reports higher MPC success rates versus standard STL robustness in simulations.
The temporal logic of programs,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
Defines STL robustness-to-go that isolates suffix contributions, proves relation to MTL formula progression, and reports higher MPC success rates versus standard STL robustness in simulations.