Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories