@conference{CaVa-WAFR-2022,
    author    = {Cardona, Gustavo A. and Vasile, Cristian Ioan},
    title     = {{Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems}},
    booktitle = {Workshop on the Algorithmic Foundations of Robotics (WAFR)},
    pages     = {1--16},
    month     = {June},
    address   = {College Park, Maryland},
    year      = {2022},
    note_      = {\href{}{link}}
}