@conference{AhVaTrBe-CDC-2023,
    author    = {Ahmad, Ahmad and Vasile, Cristian Ioan and Tron, Roberto and Belta, Calin},
    title     = {{Robustness Measures and Monitors for Time Window Temporal Logic}},
    booktitle = {IEEE Conference on Decision and Control (CDC)},
    pages     = {6841--6846},
    month     = {December},
    address   = {Singapore},
    year      = {2023},
    note      = {\href{https://ieeexplore.ieee.org/document/10383712}{doi:10.1109/CDC49753.2023.10383712}}
}