@conference{MeVaBe-CDC-2019,
    author    = {Mehdipour, Noushin and Vasile, Cristian Ioan and Belta, Calin},
    title     = {{Average-based Robustness for Continuous-Time Signal Temporal Logic}},
    booktitle = {IEEE Conference on Decision and Control (CDC)},
    pages     = {5312--5317},
    month     = {December},
    address   = {Nice, France},
    year      = {2019},
    note      = {\href{https://ieeexplore.ieee.org/document/9029989}{doi:10.1109/CDC40024.2019.9029989}}
}