TY - RPRT TI - On Robustness Metrics for Learning STL Tasks AU - Peter Varnai AU - Dimos V. Dimarogonas PY - 2020 UR - https://arxiv.org/abs/2003.06041 ID - 2003.06041 ER -