@conference{CaVa-ECC-2023,
    author    = {Cardona, Gustavo A. and Vasile, Cristian Ioan},
    title     = {{Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications}},
    booktitle = {European Control Conference (ECC)},
    pages     = {1--6},
    month     = {July},
    address   = {Bucharest, Romania},
    year      = {2023},
    note      = {\href{https://ieeexplore.ieee.org/abstract/document/10178201}{doi:10.23919/ECC57647.2023.10178201}}
}