@article{cai2021probabilistic, title={Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications}, author={Cai, Mingyu and Leahy, Kevin and Serlin, Zachary and Vasile, Cristian Ioan}, journal={IEEE Robotics and Automation Letters}, year={2021}, publisher={IEEE} }