TY - RPRT TI - Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization AU - Akshay Dhonthi AU - Philipp Schillinger AU - Leonel Rozo AU - Daniele Nardi PY - 2021 UR - https://arxiv.org/abs/2110.00339 ID - 2110.00339 ER -