Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures

MaRDI QIDQ6729184arXivFDO

Authors Samet Uzun, Purnanand Elango, Pierre-Loïc Garoche, Behçet Açıkmeşe

Publication date 2024

Published in arXiv

arXiv classification

math.OC

This page was built for publication: Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6729184)