Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications Tags: Multi-Robot SystemsMulti-Agent SystemsSignal Temporal LogicVehicle Routing ProblemChance-ConstraintsMixed Integer Linear Programming Read more about Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications