Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics