@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     = {},
    year      = {2022},
    journal   = {IEEE Robotics and Automation Letters},
    volume    = {},
    number    = {},
    pages     = {},
    note      = {\href{https://ieeexplore.ieee.org/document/9682556}{doi:10.1109/LRA.2022.3143304}}
}