@Article{LeJoVa-RAL-2022,
    author    = {Leahy, Kevin and Jones, Austin and Vasile, Cristian Ioan},
    title     = {{Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams}},
    month     = {April},
    year      = {2022},
    journal   = {IEEE Robotics and Automation Letters},
    volume    = {7},
    number    = {2},
    pages     = {2297--2304},
    note      = {\href{https://ieeexplore.ieee.org/document/9682556}{doi:10.1109/LRA.2022.3143304}}
}