Carter Berlind, Wenliang Liu, Alyssa Pierson, Calin Belta: Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. CDC 2024: 1573-1579