@conference{MaVaSaVaDLWeDeBe-CDC-2018,
    author    = {Madsen, Curtis and Vaidyanathan, Prashant and Sadraddini, Sadra and Vasile, Cristian Ioan and DeLateur, Nicholas A. and Weiss, Ron and Densmore, Douglas and Belta, Calin},
    title     = {{Metrics for Signal Temporal Logic Formulae}},
    booktitle = {IEEE Conference on Decision and Control (CDC)},
    pages     = {1542--1547},
    month     = {December},
    address   = {Miami Beach, FL, USA},
    year      = {2018},
    note      = {\href{https://ieeexplore.ieee.org/abstract/document/8619541}{doi:10.1109/CDC.2018.8619541}}
}