Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. - Carter Berlind; Wenliang Liu 001; Alyssa Pierson; Calin Belta (CDC, 2024)