@Article{MeVaBe-LCSS-2021,
    author    = {Mehdipour, Noushin and Vasile, Cristian Ioan and Belta, Calin},
    title     = {{Specifying User Preferences using Weighted Signal Temporal Logic}},
    month     = {December},
    year      = {2021},
    journal   = {IEEE Control Systems Letters},
    volume    = {5},
    number    = {6},
    pages     = {2006--2011},
    note      = {\href{https://ieeexplore.ieee.org/abstract/document/9309020}{doi:10.1109/LCSYS.2020.3047362}}
}