Model Predictive Robustness of Signal Temporal Logic Predicates

no code implementations • 16 Sep 2022 • Yuanfei Lin, Haoxuan Li, Matthias Althoff

We evaluate our approach for the use case of autonomous driving with predicates used in formalized traffic rules on a recorded dataset, which highlights the advantage of our approach compared to traditional approaches in terms of precision.

Autonomous Driving