@conference{CaLeVa-ICRA-2023,
    author    = {Cardona, Gustavo A. and Leahy, Kevin and Vasile, Cristian Ioan},
    title     = {{Temporal Logic Swarm Control with Splitting and Merging}},
    booktitle = {IEEE International Conference on Robotics and Automation (ICRA)},
    pages     = {12423--12429},
    month     = {May},
    address   = {London, UK},
    year      = {2023},
    note      = {\href{https://ieeexplore.ieee.org/abstract/document/10160335}{doi:10.1109/ICRA48891.2023.10160335}}
}