Reactive Planning for Teams of Heterogeneous Robots with Dynamic Collaborative Temporal Logic Missions. - Yuqing Zhang 006; Samarth Kalluraya; George J. Pappas; Yiannis Kantaros (CDC, 2024)