Model Predictive Robustness of Signal Temporal Logic Predicates. - Yuanfei Lin; Haoxuan Li 005; Matthias Althoff (IEEE Robotics Autom. Lett., 2023)