Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10400 States and Beyond | IEEE Conference Publication | IEEE Xplore