@conference{CaKaVa-HSCC-2023,
    author    = {Cardona, Gustavo A. and Kamale, Disha and Vasile, Cristian Ioan},
    title     ={{Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic}},
    booktitle = {ACM Hybrid Systems: Computation and Control (HSCC)},
    pages     = {1--12},
    month     = {May},
    address   = {San Antonio, TX, USA},
    year      = {2023},
    note      = {\href{https://dl.acm.org/doi/10.1145/3575870.3587120}{doi:10.1145/3575870.3587120}}
}