TY  - RPRT
TI  - Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures
AU  - Samet Uzun
AU  - Purnanand Elango
AU  - Pierre-Loic Garoche
AU  - Behcet Acikmese
PY  - 2024
UR  - https://arxiv.org/abs/2405.10996
ID  - 2405.10996
ER  -