@conference{CaMaSeLeVa-ACC-2023,
    author    = {Cai, Mingyu and Mann, Makai and Serlin, Zachary and Leahy, Kevin and Vasile, Cristian Ioan},
    title     = {{Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications}},
    booktitle = {American Control Conference (ACC)},
    pages     = {1446--1452},
    month     = {May},
    address   = {San Diego, California, USA},
    year      = {2023},
    note      = {\href{https://ieeexplore.ieee.org/abstract/document/10156544}{doi:10.23919/ACC55779.2023.10156544}}
}